1.4: Tautologies and contradictions
a logical statement that is always true for all possible truth values of its variable substatements
synonym for tautology
- \(p \rightarrow p\text{.}\)
- \(p \leftrightarrow p\text{.}\)
- Law of the Excluded Middle: \(p \lor \neg p \text{.}\)
Verification:
| \(p\) | \(\neg p\) | \(p \lor \neg p\) |
| \(T\) | \(F\) | \(T\) |
| \(F\) | \(T\) | \(T\) |
The table verifies that the statement is a tautology as the last column consists only of \(T\) values.
- Law of Contradiction: \(\neg (p \land \neg p)\text{.}\)
Verification:
| \(p\) | \(\neg p\) | \(p \land \neg p\) | \(\neg (p \land \neg p)\) |
| \(T\) | \(F\) | \(F\) | \(T\) |
| \(F\) | \(T\) | \(F\) | \(T\) |
The table verifies that the statement is a tautology as the last column consists only of \(T\) values.
Is \(p \lor p\) a tautology? No, since it is false when \(p\) is false.
a statement that must always be false, regardless of the truth values of its variable substatements
synonym for contradiction
Negation of a tautology is always a contradiction (and negation of a contradiction is always a tautology).
Statement \((p \lor \neg p) \rightarrow (q \land \neg q)\) is a contradiction:
| \(p\) | \(q\) | \(\neg p\) | \(\neg q\) | \(p \lor \neg p\) | \(q \land \neg q\) | \((p \lor \neg p) \rightarrow (q \land \neg q)\) |
| \(T\) | \(T\) | \(F\) | \(F\) | \(T\) | \(F\) | \(F\) |
| \(T\) | \(F\) | \(F\) | \(T\) | \(T\) | \(F\) | \(F\) |
| \(F\) | \(T\) | \(T\) | \(F\) | \(T\) | \(F\) | \(F\) |
| \(F\) | \(F\) | \(T\) | \(T\) | \(T\) | \(F\) | \(F\) |
The table verifies that the statement is a contradiction as the last column consists only of \(F\) values.
Implication \(A\rightarrow B\) can only be a contradiction if \(A\) is a tautology and \(B\) is a contradiction.
Suppose \(A\) is a logical statement involving substatement variables \(p_1, p_2, \dotsc, p_m\text{.}\) If \(A\) is logically true or logically false, then so is every statement obtained from \(A\) by replacing each statement variable \(p_i\) by some logical statement \(B_i\text{,}\) for every possible collection of logical statements \(B_1, B_2, \dotsc, B_m\text{.}\)
-
We know \(p \lor \neg p\) is a tautology, therefore so is
\begin{equation*} (q \rightarrow (r \land \neg s)) \lor \neg (q \rightarrow (r \land \neg s)) \end{equation*}
using substitution \(p = (q \rightarrow (r \land \neg s))\text{.}\)
-
We know \((p \lor \neg p) \rightarrow (q \land \neg q)\) is a contradiction, therefore so are
\begin{gather*} (p \lor \neg p) \rightarrow (p \land \neg p) \qquad \text{(by } p = p \text{, } q = p \text{),}\\ ((r \lor s) \lor \neg (r \lor s)) \rightarrow (q \land \neg q) \qquad \text{(by } p = r \lor s \text{, } q = q \text{),}\\ (r \land (s \leftrightarrow t)) \lor \neg (r \land (s \leftrightarrow t)) \rightarrow (t \land \neg t) \qquad \text{(by } p = r \land (s \leftrightarrow t) \text{, } q = t \text{).} \end{gather*}
In mathematics, we often wish to prove that a condition \(A \rightarrow B\) is actually a tautology. (See Chapter 6 .)
if the conditional \(A \rightarrow B\) is a tautology, we say that \(A\) logically implies \(B\)
notation for logical implication
- If \(A = p\) and \(B = p \lor q\text{,}\) then \(A \Rightarrow B\text{.}\)
- If \(A = p \land q\) and \(B = p\text{,}\) then \(A \Rightarrow B\text{.}\)
Remark \(\PageIndex{1}\)
As we will see in Chapter 6 , verifying logical implications in mathematical contexts is one of the main tasks of mathematical proof. And to verify a logical implication \(A \Rightarrow B\text{,}\) we want to focus on the idea of conditional as expressing “If \(A\) is true then \(B\) is true,” and we really don't want to concern ourselves with what happens in the case that \(A\) is false. Here is where our “default” values in the rows of the truth table for the conditional \(A \rightarrow B\) where \(A\) is false help out — as the conditional \(A \rightarrow B\) is automatically true when \(A\) is false, regardless of the truth value of \(B\text{,}\) we really only need to consider what happens when \(A\) is true to verify \(A \Rightarrow B\text{.}\)