2.1: Equivalence
Definition: Equivalence Statements
statements \(A,B\) such that \(A \leftrightarrow B\) is a tautology
Definition: \(A \Leftrightarrow B\)
statements \(A\) and \(B\) are equivalent
Test \(\PageIndex{1}\): Equivalence of Logical Statements
Statements \(A\) and \(B\) are logically equivalent if \(A\) and \(B\) always have the same output truth value whenever the same input truth values are substituted for the substatement variables in each. That is, \(A \Leftrightarrow B\) if \(A\) and \(B\) have the same truth table .
Example \(\PageIndex{1}\): Testing Logical Equivalence
Demonstrate that the following are equivalent statements.
| \(A\text{:}\) | If it's nice outside, I will ride my bike. |
| \(B\text{:}\) | It's not nice outside, or I will ride my bike. |
Solution
Let \(p\) represent the substatement “it's nice outside,” and let \(q\) represent the substatement “I will ride my bike.” Then the equivalence we want to establish is
\begin{equation*} p \rightarrow q \Leftrightarrow \neg p \lor q\text{.} \end{equation*}
We can analyze the truth tables of both statements in the same table.
| \(p\) | \(q\) | \(\neg p\) | \(\neg p \lor q\) | \(p \rightarrow q\) |
| \(T\) | \(T\) | \(F\) | \(T\) | \(T\) |
| \(T\) | \(F\) | \(F\) | \(F\) | \(F\) |
| \(F\) | \(T\) | \(T\) | \(T\) | \(T\) |
| \(F\) | \(F\) | \(T\) | \(T\) | \(T\) |
We see that the two statements always have the same truth value in all rows of the truth table, so they are equivalent.
Note \(\PageIndex{1}\)
Worked Example \(\PageIndex{1}\) shows that the basic conditional connective “if … then …” can be constructed out of the basic connectives “not” and “or”.
Example \(\PageIndex{2}\): Testing Logical Equivalence
Demonstrate the equivalence \(p \leftrightarrow q \Leftrightarrow \neg p \leftrightarrow \neg q\text{.}\)
Solution
Again we build a truth table, and see that the “output” columns for the two statements are identical.
| \(p\) | \(q\) | \(\neg p\) | \(\neg q\) | \(p \leftrightarrow q\) | \(\neg p \leftrightarrow \neg q\) |
| \(T\) | \(T\) | \(F\) | \(F\) | \(T\) | \(T\) |
| \(T\) | \(F\) | \(F\) | \(T\) | \(F\) | \(F\) |
| \(F\) | \(T\) | \(T\) | \(F\) | \(F\) | \(F\) |
| \(F\) | \(F\) | \(T\) | \(T\) | \(T\) | \(T\) |
Proposition \(\PageIndex{1}\)
Logical equivalence has the following properties.
- It is reflexive . That is, \(A \Leftrightarrow A\) is always true.
- It is symmetric . That is, whenever \(A \Leftrightarrow B\text{,}\) then also \(B \Leftrightarrow A\text{.}\)
- It is transitive . That is, whenever \(A \Leftrightarrow B\) and \(B \Leftrightarrow C\text{,}\) then also \(A \Leftrightarrow C\text{.}\)
- Every pair of tautologies is an equivalent pair of logical statements.
- Every pair of contradictions is an equivalent pair of logical statements.
Check your understanding. Thinking in terms of truth tables, consider why each of the statements of Proposition \(\PageIndex{1}\) holds.