2.5: Equivalent Statements
After completing this section, you should be able to:
- Determine whether two statements are logically equivalent using a truth table.
- Compose the converse, inverse, and contrapositive of a conditional statement
Have you ever had a conversation with or sent a note to someone, only to have them misunderstand what you intended to convey? The way you choose to express your ideas can be as, or even more, important than what you are saying. If your goal is to convince someone that what you are saying is correct, you will not want to alienate them by choosing your words poorly.
Logical arguments can be stated in many different ways that still ultimately result in the same valid conclusion. Part of the art of constructing a persuasive argument is knowing how to arrange the facts and conclusion to elicit the desired response from the intended audience.
In this section, you will learn how to determine whether two statements are logically equivalent using truth tables, and then you will apply this knowledge to compose logically equivalent forms of the conditional statement. Developing this skill will provide the additional skills and knowledge needed to construct well-reasoned, persuasive arguments that can be customized to address specific audiences.
An alternate way to think about logical equivalence is that the truth values have to match. That is, whenever is true, is also true, and whenever is false, is also false.
Determine Logical Equivalence
Two statements, and , are logically equivalent when is a valid argument, or when the last column of the truth table consists of only true values. When a logical statement is always true, it is known as a tautology . To determine whether two statements and are logically equivalent, construct a truth table for and determine whether it valid. If the last column is all true, the argument is a tautology, it is valid, and is logically equivalent to ; otherwise, is not logically equivalent to .
Create a truth table to determine whether the following compound statements are logically equivalent.
- Answer
-
1. Construct a truth table for the biconditional formed by using the first statement as the hypothesis and the second statement as the conclusion, ( p → q ) ↔ ( ~ p → ~ q ).
T T T F F T T T F F F T T F F T T T F F F F F T T T T T Because the last column it not all true, the biconditional is not valid and the statement is not logically equivalent to the statement .
2. Construct a truth table for the biconditional formed by using the first statement as the hypothesis and the second statement as the conclusion,
( p → q) ↔ ( ~ p ∨ q ) .T T T F T T T F F F F T F T T T T T F F T T T T Because the last column is true for every entry, the biconditional is valid and the statement is logically equivalent to the statement . Symbolically,
Create a truth table to determine whether the following compound statements are logically equivalent.
1. \(p \rightarrow q ; q \rightarrow \sim p\)
2. \(p \rightarrow q ; p \vee \sim q\)
Compose the Converse, Inverse, and Contrapositive of a Conditional Statement
The converse , inverse , and contrapositive are variations of the conditional statement,
- The converse is if then , and it is formed by interchanging the hypothesis and the conclusion. The converse is logically equivalent to the inverse.
- The inverse is if then , and it is formed by negating both the hypothesis and the conclusion. The inverse is logically equivalent to the converse.
- The contrapositive is if then , and it is formed by interchanging and negating both the hypothesis and the conclusion. The contrapositive is logically equivalent to the conditional.
The table below shows how these variations are presented symbolically.
| Conditional | Contrapositive | Converse | Inverse | ||||
|---|---|---|---|---|---|---|---|
| T | T | F | F | T | T | T | T |
| T | F | F | T | F | F | T | T |
| F | T | T | F | T | T | F | F |
| F | F | T | T | T | T | T | T |
Use the statements, : Harry is a wizard and : Hermione is a witch, to write the following statements:
- Write the conditional statement, , in words.
- Write the converse statement, , in words.
- Write the inverse statement, , in words.
- Write the contrapositive statement, , in words.
- Answer
-
- The conditional statement takes the form, “if p p , then q q ,” so the conditional statement is: “If Harry is a wizard, then Hermione is a witch.” Remember the if … then … words are the connectives that form the conditional statement.
- The converse swaps or interchanges the hypothesis, p p , with the conclusion, q q . It has the form, “if q q , then p p .” So, the converse is: "If Hermione is a witch, then Harry is a wizard."
- To construct the inverse of a statement, negate both the hypothesis and the conclusion. The inverse has the form, “if ~ p ~ p , then ~ q ~ q ,” so the inverse is: "If Harry is not a wizard, then Hermione is not a witch."
- The contrapositive is formed by negating and interchanging both the hypothesis and conclusion. It has the form, “if ~ q ~ q , then ~ p ~ p ," so the contrapositive statement is: "If Hermione is not a witch, then Harry is not a wizard."
Use the statements, \(p\) : Elvis Presley wore capes and \(q\) : Some superheroes wear capes, to write the following statements:
1. Write the conditional statement, \(p \rightarrow q\), in words.
2. Write the converse statement, \(q \rightarrow p\), in words.
3. Write the inverse statement, \(\sim p \rightarrow \sim q\), in words.
4. Write the contrapositive statement, \(\sim q \rightarrow \sim p\), in words.
Use the conditional statement, “If all dogs bark, then Lassie likes to bark,” to identify the following.
- Write the hypothesis of the conditional statement and label it with a .
- Write the conclusion of the conditional statement and label it with a .
- Identify the following statement as the converse, inverse, or contrapositive: “If Lassie likes to bark, then all dogs bark.”
- Identify the following statement as the converse, inverse, or contrapositive: “If Lassie does not like to bark, then some dogs do not bark.”
- Which statement is logically equivalent to the conditional statement?
- Answer
-
- The hypothesis is the phrase following the if . The answer is p : All dogs bark. Notice, the word if is not included as part of the hypothesis.
- The conclusion of a conditional statement is the phrase following the then . The word then is not included when stating the conclusion. The answer is: q: Lassie likes to bark.
- “Lassie likes to bark” is q and “All dogs bark” is p . So, “If Lassie likes to bark, then all dogs bark,” has the form “if q , then p ,” which is the form of the converse. “Lassie does not like to bark” is ~ q and “Some dogs do not bark” is ~ p . The statement, “If Lassie does not like to bark, then some dogs do not bark,” has the form “if ~ q , then ~ p ,” which is the form of the contrapositive.
- The contrapositive ~ q → ~ p is logically equivalent to the conditional statement p → q .
Use the conditional statement, “If Dora is an explorer, then Boots is a monkey,” to identify the following:
1 . Write the hypothesis of the conditional statement and label it with a p�.
2 . Write the conclusion of the conditional statement and label it with a q�.
3 . Identify the following statement as the converse, inverse, or contrapositive: “If Dora is not an explorer, then Boots is not a monkey.”
4 . Identify the following statement as the converse, inverse, or contrapositive: “If Boots is a monkey, then Dora is an explorer.”
5 . Which statement is logically equivalent to the inverse?
Assume the conditional statement, p→q: “If Chadwick Boseman was an actor, then Chadwick Boseman did not star in the movie Black Panther ” is false, and use it to answer the following questions.
- Write the converse of the statement in words and determine its truth value.
- Write the inverse of the statement in words and determine its truth value.
- Write the contrapositive of the statement in words and determine its truth value.
- Answer
-
The only way the conditional statement can be false is if the hypothesis, p : Chadwick Boseman was an actor, is true and the conclusion, q: Chadwick Boseman did not star in the movie Black Panther , is false. The converse is q → p, and it is written in words as: “If Chadwick Boseman did not star in the movie Black Panther , then Chadwick Boseman was an actor.” This statement is true, because false → true is true.
The inverse has the form “ ~ p → ~ q. ” The written form is: “If Chadwick Boseman was not an actor, then Chadwick Boseman starred in the movie Black Panther .” Because p is true, and q is false, ~ p is false, and ~ q is true. This means the inverse is false → true, which is true. Alternatively, from Question 1, the converse is true, and because the inverse is logically equivalent to the converse it must also be true.
The contrapositive is logically equivalent to the conditional. Because the conditional is false, the contrapositive is also false. This can be confirmed by looking at the truth values of the contrapositive statement. The contrapositive has the form “ ~ q → ~ p. ” Because q is false and p is true, ~ q is true and ~ p is false. Therefore, ~ q → ~ p is true → false, which is false. The written form of the contrapositive is “If Chadwick Boseman starred in the movie Black Panther , then Chadwick Boseman was not an actor.”
Assume the conditional statement p→q : “If my friend lives in San Francisco, then my friend does not live in California” is false, and use it to answer the following questions.
1 . Write the converse of the statement in words and determine its truth value.
2 . Write the inverse of the statement in words and determine its truth value.
3 . Write the contrapositive of the statement in words and determine its truth value.
Check Your Understanding
- Two statements \(p\) and \(q\) are logically equivalent to each other if the biconditional statement, \(p \leftrightarrow q\) is ________________.
- The _____ statement has the form, “\(p\) then \(q\).”
- The contrapositive is _____________ ___________ to the conditional statement, and has the form, "if \(\text~q\), then \(\text~p\)."
- The _________________ of the conditional statement has the form, "if \(\text~p\), then \(\text~q\)."
- The _________________ of the conditional statement is logically equivalent to the _______________ and has the form, "if \(q\) then \(p\)."