1.8 Truth Tables: Conditionals and Biconditionals (2024)

Learning Objectives

  • Basic Truth Tables for
    • Conditional
    • Biconditional
  • Working with the Conditional Statement
    • Converse
    • Inverse
    • Contrapositive

Conditional
This is sometimes called an implication. A conditional is a logical compound statement in which a statement p, called the antecedent, implies a statement q, called the consequent.
A conditional is written as p → q and is translated as “if p, then q”.

The English statement “If it is raining, then there are clouds is the sky” is a conditional statement. It makes sense because if the antecedent “it is raining” is true, then the consequent “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 antecedent is false, then the consequent becomes
irrelevant.

Example

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:
1) You pay for expedited shipping and receive the jersey by Friday
2) You pay for expedited shipping and don’t receive the jersey by Friday
3) You don’t pay for expedited shipping and receive the jersey by Friday
4) 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 antecedent is false, we cannot make any judgment about the consequent. The website never said that paying for expedited shipping was the only way to receive the jersey by Friday.

Example

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:
1) You upload the picture and lose your job
2) You upload the picture and don’t lose your job
3) You don’t upload the picture and lose your job
4) 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.

Aconditional statementtells us that if the antecedent is true, the consequent cannot be false. Thus, a conditional statement is only false when a true antecedent implies a false consequent.

1.8 Truth Tables: Conditionals and Biconditionals (1)

Examples

Another example is living in an apartment and paying rent.p → q where p is I live in an apartment and q is then I pay rent. What are the outcomes?

  1. I do live in an apartment and I pay rent, then the situation is true (no eviction!)
  2. I live in an apartment and I don’t pay rent, then the situation is false (eviction, broken promise)
  3. I don’t live in an apartment but I do pay rent, then the situation is true (though why would you do it?)
  4. I don’t live in an apartment and I don’t pay rent, then the situation is true (no promise broken)

With conditional situations, we also have the following:

Related Statements
The original conditional is “if p, then q” p → q
The converse is “if q, then p” q → p
The inverse is “if not p, then not q” ~p →~ q
The contrapositive is “if not q, then not p” ~q → ~p

Examples

Consider 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.

Examples

Suppose this statement is true: “If I eat this giant cookie, then I will feel sick.” Which of the following statements must also be true?
a. If I feel sick, then I ate that giant cookie.
b. If I don’t eat this giant cookie, then I won’t feel sick.
c. If I don’t feel sick, then I didn’t eat that giant cookie.

a. This is the converse, which is not necessarily true. I could feel sick for some other reason, such as drinking sour milk.

b. This is the inverse, which is not necessarily true. Again, I could feel sick for some other reason; avoiding the cookie doesn’t guarantee that I won’t feel sick.

c. This is the contrapositive, which is true, but we have to think somewhat backwards to explain it. If I ate the cookie, I would feel sick, but since I don’t feel sick, I must not have eaten the cookie.
Notice again that the original statement and the contrapositive have the same truth value (both
are true), and the converse and the inverse have the same truth value (both are false).

Biconditional
A biconditional is a logical conditional statement in which the antecedent and consequent are interchangeable.
A biconditional is written as p ↔ q and is translated as “p if and only if q”.

Because a biconditional statement p ↔ q is equivalent to (p → q) ⋀ (q → p), we may think of it as a conditional statement combined with its converse: if p, then q and if q, then p. The double-headed arrow shows that the conditional statement goes from left to right and from right to left. A biconditional is considered true as long as the antecedent and the consequent have the same truth value; that is, they are either both true or both false.

Thebiconditionaltells us that, “Either both are the case, or neither is… ” Thus, a biconditional statement is true when both statements are true, or both are false.

1.8 Truth Tables: Conditionals and Biconditionals (2)

Examples

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?
a. It is noon on Thursday and the garbage truck did not come down my street this morning.
b. It is Monday and the garbage truck is coming down my street.
c. It is Wednesday at 11:59PM and the garbage truck did not come down my street today.

a. 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.
b. 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.
c. 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.

Working with the Conditional Statement

Conditional statements play a very big role in logic and one of the ways we can learn more about them is to study the three related statements.

Example

Consider again the valid implication “If it is raining, then there are clouds in the sky.”

Write the related converse, inverse, and contrapositive statements.

Show Solution

Try It

ConditionalConverseInverseContrapositive
pq[latex]p\rightarrow{q}[/latex][latex]q{\rightarrow}p[/latex][latex]\sim{p}\rightarrow\sim{q}[/latex][latex]\sim{q}\rightarrow\sim{p}[/latex]
TTTTTT
TFFTTF
FTTFFT
FFTTTT

This is the end of the section. Close this tab and proceed to the corresponding assignment.

1.8 Truth Tables: Conditionals and Biconditionals (2024)

FAQs

What is conditional and biconditional in truth table? ›

The double-headed arrow shows that the conditional statement goes from left to right and from right to left. A biconditional is considered true as long as the antecedent and the consequent have the same truth value; that is, they are either both true or both false.

What are the statements conditionals and Biconditionals? ›

A conditional statement is of the form “if p, then q,” and this is written as p → q. A biconditional statement is of the form “p if and only if q,” and this is written as p ↔ q.

What is the conditional rule of the truth table? ›

When each of P and Q is a proposition, the conditional with antecedent P and consequent Q is denoted by P  Q and is read “P implies Q” or “if P then Q.” By definition, the conditional statement P  Q is false when P is true and Q is false. Otherwise, P  Q is true.

How to find the truth value of a biconditional statement? ›

So the biconditional statement p ⟺ q breaks down to the conditional statement, p ⇒ q and its converse q ⇒ p . In other words, for p ⟺ q to be true, then p ⇒ q and q ⇒ p must both be true. If they are true, then the biconditional statement is true. If one or both are false, then the biconditional statement is false.

What is the rule of biconditional? ›

The biconditional statement p⇔q is true when both p and q have the same truth value, and is false otherwise. A biconditional statement is often used in defining a notation or a mathematical concept.

What is an example of a conditional statement? ›

Here are some examples of conditional statements:
  • Statement 1: If you work overtime, then you'll be paid time-and-a-half.
  • Statement 2: I'll wash the car if the weather is nice.
  • Statement 3: If 2 divides evenly into , then is an even number.
  • Statement 4: I'll be a millionaire when I win the lottery.
Mar 14, 2024

What is conditional truth? ›

A conditional is considered true when the antecedent and consequent are both true or if the antecedent is false. When the antecedent is false, the truth value of the consequent does not matter; the conditional will always be true.

How to determine the truth value of a conditional statement? ›

Step 1: Identify the hypothesis and conclusion of the conditional statement. For example, if our statement reads "if p, then q," then our hypothesis is p, and our conclusion is q. Step 2: Determine the truth value, it will be true unless p is true and q is false.

How do you apply a conditional rule? ›

Create a custom conditional formatting rule
  1. Select the range of cells, the table, or the whole sheet that you want to apply conditional formatting to.
  2. On the Home tab, click Conditional Formatting.
  3. Click New Rule.
  4. Select a style, for example, 3-Color Scale, select the conditions that you want, and then click OK.

Which statements are biconditional? ›

Biconditionals are statements that work both ways. Some examples: If it rains, I go out, and if I go out, it must be raining.

What two statements can form a biconditional? ›

It is a combination of two conditional statements, “if two line segments are congruent then they are of equal length” and “if two line segments are of equal length then they are congruent”. A biconditional is true if and only if both the conditionals are true.

How to prove a biconditional statement? ›

Proofs of Biconditional Statements

2, we used the following logical equivalency: (P↔Q)≡(P→Q)∧(Q→P). This logical equivalency suggests one method for proving a biconditional statement written in the form “P if and only if Q.” This method is to construct separate proofs of the two conditional statements P→Q and Q→P.

Is only if biconditional or conditional? ›

Diagram this as: pass ↔ study. 2:09 – The if and only if (↔) phrase serves a shorthand for referring to biconditionals which means that both directions of a conditional statement are true.

What is conditional and biconditional in philosophy? ›

So in a conditional statement, the antecedent is a sufficient condition for the consequent and the consequent is a necessary condition for the antecedent. In a biconditional statement such as P ↔ Q , we know that P is both a necessary and sufficient condition for Q, and likewise Q for P.

What is an example of a conditional proposition? ›

One example of a conditional statement is "If the rug is dirty, then the rug should be vacuumed." "The rug is dirty" is the hypothesis, and "the rug should be vacuumed" is the conclusion.

What is meant by conditional statements? ›

A conditional statement is a statement that can be written in the form “If P then Q,” where P and Q are sentences. For this conditional statement, P is called the hypothesis and Q is called the conclusion.

References

Top Articles
Latest Posts
Recommended Articles
Article information

Author: Foster Heidenreich CPA

Last Updated:

Views: 5857

Rating: 4.6 / 5 (76 voted)

Reviews: 91% of readers found this page helpful

Author information

Name: Foster Heidenreich CPA

Birthday: 1995-01-14

Address: 55021 Usha Garden, North Larisa, DE 19209

Phone: +6812240846623

Job: Corporate Healthcare Strategist

Hobby: Singing, Listening to music, Rafting, LARPing, Gardening, Quilting, Rappelling

Introduction: My name is Foster Heidenreich CPA, I am a delightful, quaint, glorious, quaint, faithful, enchanting, fine person who loves writing and wants to share my knowledge and understanding with you.