6.3: Truth Tables- Conditional, Biconditional
- Last updated
- Aug 16, 2023
- Save as PDF
- Page ID
- 138209
( \newcommand{\kernel}{\mathrm{null}\,}\)
Conditional
A conditional is a logical compound statement in which a statement
A conditional is written as
Example 1
The English statement “If it is raining, then there are clouds is the sky” is a conditional statement. It makes sense because if the hypothesis “it is raining” is true, then the conclusion “there are clouds in the sky” must also be true.
Notice that the statement tells us nothing of what to expect if it is not raining; there might be clouds in the sky, or there might not. If the hypothesis is false, then the conclusion becomes irrelevant.
Example 2
Suppose you order a team jersey online on Tuesday and want to receive it by Friday so you can wear it to Saturday’s game. The website says that if you pay for expedited shipping, you will receive the jersey by Friday. In what situation is the website telling a lie?
There are four possible outcomes:
- You pay for expedited shipping and receive the jersey by Friday
- You pay for expedited shipping and don’t receive the jersey by Friday
- You don’t pay for expedited shipping and receive the jersey by Friday
- You don’t pay for expedited shipping and don’t receive the jersey by Friday
Only one of these outcomes proves that the website was lying: the second outcome in which you pay for expedited shipping but don’t receive the jersey by Friday. The first outcome is exactly what was promised, so there’s no problem with that. The third outcome is not a lie because the website never said what would happen if you didn’t pay for expedited shipping; maybe the jersey would arrive by Friday whether you paid for expedited shipping or not. The fourth outcome is not a lie because, again, the website didn’t make any promises about when the jersey would arrive if you didn’t pay for expedited shipping.
It may seem strange that the third outcome in the previous example, in which the first part is false but the second part is true, is not a lie. Remember, though, that if the hypothesis is false, we cannot make any judgment about the conclusion. The website never said that paying for expedited shipping was the only way to receive the jersey by Friday.
Example 3
A friend tells you “If you upload that picture to Facebook, you’ll lose your job.” Under what conditions can you say that your friend was wrong?
There are four possible outcomes:
- You upload the picture and lose your job
- You upload the picture and don’t lose your job
- You don’t upload the picture and lose your job
- You don’t upload the picture and don’t lose your job
There is only one possible case in which you can say your friend was wrong: the second outcome in which you upload the picture but still keep your job. In the last two cases, your friend didn’t say anything about what would happen if you didn’t upload the picture, so you can’t say that their statement was wrong. Even if you didn’t upload the picture and lost your job anyway, your friend never said that you were guaranteed to keep your job if you didn’t upload the picture; you might lose your job for missing a shift or punching your boss instead.
Truth Table for the Conditional
Again, if the hypothesis
Example 4
Construct a truth table for the statement
Solution
We start by constructing a truth table with 8 rows to cover all possible scenarios. Next, we can focus on the hypothesis,
Now we can create a column for the conditional. Because it can be confusing to keep track of all the Ts and
When
If you want a real-life situation that could be modeled by
For any conditional, there are three related statements, the converse, the inverse, and the contrapositive.
Derived Forms of a Conditional
The original conditional is
The converse is
The inverse is
The contrapositive is "if not
Example 5
Consider again the conditional “If it is raining, then there are clouds in the sky.” It seems reasonable to assume that this is true.
The converse would be “If there are clouds in the sky, then it is raining.” This is not always true.
The inverse would be “If it is not raining, then there are not clouds in the sky.” Likewise, this is not always true.
The contrapositive would be “If there are not clouds in the sky, then it is not raining.” This statement is true, and is equivalent to the original conditional.
Looking at truth tables, we can see that the original conditional and the contrapositive are logically equivalent, and that the converse and inverse are logically equivalent.
Equivalence
A conditional statement and its contrapositive are logically equivalent.
The converse and inverse of a conditional statement are logically equivalent.
In other words, the original statement and the contrapositive must agree with each other; they must both be true, or they must both be false. Similarly, the converse and the inverse must agree with each other; they must both be true, or they must both be false.
We typically represent the conditional using the words, "if ..., then ...," but there are other ways this logical connective can be represented in English. Consider the conditional from Example 5: "If it is raining, then there are clouds in the sky." We could equivalently write, "It is raining only if there are clouds in the sky." You can probably imagine how these two statements are saying the same thing - whenever it's raining outside, it is a safe conclusion there are clouds in the sky as well. Some other wordings that communicate the same information use either "sufficient" or "necessary." For example, "Raining is a sufficient condition for it to be cloudy," and "Being cloudy is a necessary condition for it to be raining." Here is a table summarizing the different wordings.
Different Wordings of the Conditional
The following statements are equivalent:
- If
, then . only if . is sufficient for . is necessary for .
In everyday life, we often have a stronger meaning in mind when we use a conditional statement. Consider “If you submit your hours today, then you will be paid next Friday.” What the payroll rep really means is “If you submit your hours today, then you will be paid next Friday, and if you don’t submit your hours today, then you won’t be paid next Friday.” The conditional statement if t, then p also includes the inverse of the statement: if not t, then not p. A more compact way to express this statement is “You will be paid next Friday if and only if you submit your timesheet today.” A statement of this form is called a biconditional.
Biconditional
A biconditional is a logical conditional statement in which the hypothesis and conclusion are interchangeable.
A biconditional is written as
Because a biconditional statement
Truth Table for the Biconditional
Notice that the fourth row, where both components are false, is true; if you don’t submit your timesheet and you don’t get paid, the person from payroll told you the truth.
Example 6
Suppose this statement is true: “The garbage truck comes down my street if and only if it is Thursday morning.” Which of the following statements could be true?
- It is noon on Thursday and the garbage truck did not come down my street this morning.
- It is Monday and the garbage truck is coming down my street.
- It is Wednesday at 11:59PM and the garbage truck did not come down my street today.
Solution
- This cannot be true. This is like the second row of the truth table; it is true that I just experienced Thursday morning, but it is false that the garbage truck came.
- This cannot be true. This is like the third row of the truth table; it is false that it is Thursday, but it is true that the garbage truck came.
- This could be true. This is like the fourth row of the truth table; it is false that it is Thursday, but it is also false that the garbage truck came, so everything worked out like it should.
Try it Now 1
Suppose this statement is true: “I wear my running shoes if and only if I am exercising.” Determine whether each of the following statements must be true or false.
- I am exercising and I am not wearing my running shoes.
- I am wearing my running shoes and I am not exercising.
- I am not exercising and I am not wearing my running shoes.
- Answer
-
Choices a & b are false; c is true.
Example 7
Create a truth table for the statement
Solution
Whenever we have three component statements, we start by listing all the possible truth value combinations for
Next we can create a column for the negation of
Finally, we find the truth values of
To illustrate this situation, suppose your boss needs you to do either project