Skip to main content
Logo image

Section 6.4 Reduction to cases

If
\begin{equation*} C_1 \lgcor C_2 \lgcor \dotsb \lgcor C_m \end{equation*}
is a tautology, then
\begin{equation*} P \; \lgcequiv \; P \lgcand (C_1 \lgcor \dotsb \lgcor C_m) \; \lgcequiv \; (P \lgcand C_1) \lgcor \dotsb \lgcor (P \lgcand C_m)\text{.} \end{equation*}
By substitution and Fact 6.4.1,
\begin{equation*} P \lgccond Q \; \lgcequiv \; (P \lgcand C_1 \lgccond Q) \lgcand \dotsb \lgcand (P \lgcand C_m \lgccond Q). \end{equation*}
A conjunction is only true if each “factor” in the conjunction is true, so the conjunction on the right above can only be a tautology if each conditional \(P \lgcand C_1 \lgccond Q\) is a tautology. Therefore, when we have a collection of statements \(C_1,\dotsc,C_m\) so that
\begin{equation*} C_1 \lgcor C_2 \lgcor \dotsb \lgcor C_m \end{equation*}
is a tautology, we can prove \(P \lgccond Q \) by instead proving each of \(P \lgcand C_i \lgcimplies Q\) one at a time. This is also valid for universal statements, since \(\forall\) distributes over \(\lgcand\) (Proposition 4.2.6).
Now, having to prove many slightly more complicated statements \(P \lgcand C_i \lgcimplies Q\) seems like a lot more work than just proving the single simple statement \(P \lgccond Q\) — why would we want to go to all this extra effort?

Worked Example 6.4.4.

Show \(n^2 - n\) is always even.
Solution.
Let \(P(n)\) represent the predicate “\(n\) is an integer” and let \(Q(n)\) represent the predicate “\(n^2 - n\) is even”, each with domain the integers. Note that \(P(n)\) is actually true for each \(n\) in the domain, since our original statement makes no extra premise on \(n\) besides its domain.
Suppose that \(n\) is an integer. Break into cases based on whether \(n\) is even or odd; in each case, proceed by direct proof.

Case \(n\) even.

If \(n\) is even, then there exists an integer \(m\) such that \(n = 2m\text{.}\) Then,
\begin{equation*} n^2 - n = n(n-1) = 2m(2m - 1) \end{equation*}
is also even.

Case \(n\) odd.

If \(n\) is odd, then \(n - 1\) is even, so there exists an integer \(m\) such that \(n - 1 = 2m\text{,}\) or \(n = 2m + 1\text{.}\) Then,
\begin{equation*} n^2 - n = n(n-1) = (2m+1)(2m) \end{equation*}
is even.

Warning 6.4.5.

Make sure your cases cover all possibilities! (Though it is not necessary that your cases by non-overlapping.)

Check your understanding.