In the previous video, you learned about different types of basic logical connectives that helps in creating compound prepositions. These connectives are join two or more atomic statements to form compound preposition which also have a truth value of its own.

We have discuss negation, conjunction, and disjunction connectives so far, the remaining two connectives are discussed in this article.

You can also watch our YouTube video on implication and biconditional.

### Implication ( )

The *implication *connective takes one or more variables that represent atomic statements and make a compound statement. The implication is denoted with the symbol which means *“implies” *or *“if…then..”.*

In programming world, **if-then **is popularly known as *conditional statement.*

```
For example, Let and be two atomic statements.
: "Today is Sunday"
: "I don't go to school"
Then is "if p, then q" or "p implies q",
: "If today is Sunday, then I don't go to school"
```

The statement is called *antecedent *or *premise *and the statement is called *consequent *or *conclusion*.

** Other English Phrases That Represent If…Then..**

There are several other ways to write **implication** in English, some of them are

- q, if p
- q, provided that p
- q unless p
- q follows from p
- p sufficient condition or q
- q necessary condition for p
- because p, q
- p therefore q

Translating English sentences to logic statements with variables may be tricky because there could be several meaning to same statement and we are not asserting a particular truth value to statement or .

It means that we are not saying that is true so that we have ; therefore, we want **material implication **which is *weak *and *tentative *in nature.

This could be understood with the help of truth table of implication.

Suppose is “You study hard” and stands for “You will pass the exam”. The is “If you study hard, then you will pass the exam”.

Let say is true, and is true as well, then is true. Similarly, is true and is false.

For the row 3 and row 4, we could not use as false because the table will look like truth table for .

Suppose is false and means “You did not study”. The statement is false means “You did not pass the exam”; therefore, is true. We cannot have that truth table because it will match with the truth table of **biconditional **connective about which we will discuss later in the article.

The only case when connective is false is when is true, and is false. All other entries must be true in the truth table of material implication.

Read about “Paradoxes of Material Implication”.

**Simplification of implication**

Another way to write implication is to simplify it. The if-then is also written as . This logical equivalence can be verified using following truth table.

### Biconditional Operator ( )

The biconditional connective also takes one of more atomic statements and create a compound statement that has a truth value of its own. The biconditional is an “if and only if” or “iff” statement. The biconditional operator is denoted by .

```
For example if and are two logical atomic statements.
: "I am hungry"
: "I worked very hard this morning"
Then
: "I am hungry if and only if I worked very hard this morning"
```

Here is the truth table for biconditional connective.

From the truth table it is evident that when both the variables have same truth values – true or false. The compound preposition with a biconditional connective is true.

For example, let be the preposition “*It is raining today”* and be the statement “*Peter will stay in house”*. If both the statement is **true**, then whole statement is **true**, else both the statements are **false **then the statement is **false**.

The biconditional is implication that true from and . For example, consider the following statement.

```
: "A polygon is a triangle"
: "A triangle has 3 sides"
Using the biconditional we can make following statement.
"A polygon is a triangle if and only if it has 3 sides"
```

Condition for above statement are

- If polygon is triangle then it has 3 sides ( )
- If polygon has 3 sides, then it is a triangle ( )

Note that the both conditions we get and equivalent preposition for biconditional.

Let us verify the claim using a truth table.

From the truth table above, clearly, both expression are logically equal. Whenever you are asked to simplify a compound statements involving biconditionals, replace it with above expression for convenience.