# 2.2: Implication

- Page ID
- 19368

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Suppose a mother makes the following statement to her child: “If you finish your peas, you’ll get dessert.”

This is a compound sentence made up of the two simpler sentences \(P =\) “You finish your peas” and \(D =\) “You’ll get dessert.” It is an example of a type of compound sentence called a **conditional**. Conditionals are if-then type statements. In ordinary language the word “then” is often elided (as is the case with our example above). Another way of phrasing the “If \(\text{P}\) then \(\text{D}\).” relationship is to use the word “implies” — although it would be a rather uncommon mother who would say “Finishing your peas implies that you will receive dessert.”

As was the case in the previous section, there are four possible situations and we must consider each to decide the truth/falsity of this conditional statement. The peas may or may not be finished, and independently, the dessert may or may not be proffered.

Suppose the child finishes the peas and the mother comes across with the dessert. Clearly, in this situation the mother’s statement was true. On the other hand, if the child finishes the hated peas and yet does not receive a treat, it is just as obvious that the mother has lied! What do we say about the mother’s veracity in the case that the peas go unfinished? Here, Mom gets a break. She can either hold firm and deliver no dessert, or she can be a softy and give out unearned sweets – in either case, we can’t accuse her of telling a falsehood. The statement she made had to do *only *with the eventualities following total pea consumption, she said nothing about what happens if the peas go uneaten.

A conditional statement’s components are called the **antecedent **(this is the “if” part, as in “finish your peas”) and the **consequent **(this is the “then” part, as in “get dessert”). The discussion in the last paragraph was intended to make the point that when the antecedent is false, we should consider the conditional to be true. Conditionals that are true because their antecedents are false are said to be **vacuously true**. The conditional involving an antecedent \(A\) and a consequent \(B\) is expressed symbolically using an arrow: \(A \implies B\). Here is a truth table for this connective.

\(A\) | \(B\) | \(A \implies B\) | |

\(\text{T}\) | \(\text{T}\) | \(\text{T}\) | |

\(\text{T}\) | \(\phi\) | \(\phi\) | |

\(\phi\) | \(\text{T}\) | \(\text{T}\) | |

\(\phi\) | \(\phi\) | \(\text{T}\) |

Note that this truth table is similar to the truth table for \(A ∨ B\) in that there is only a single row having a \(\phi\) in the last column. For \(A ∨ B\) the \(\phi\) occurs in the \(4^{\text{th}}\) row and for \(A ⇒ B\) it occurs in the \(2^{\text{nd}}\) row. This suggests that by suitably modifying things (replacing \(A\) or \(B\) by their negations) we could come up with an “or” statement that had the same meaning as the conditional. Try it!

It is fairly common that conditionals are used to express threats, as in the peas/dessert example. Another common way to express a threat is to use a disjunction – “Finish your peas, or you won’t get dessert.” If you’ve been paying attention (and did the last exercise), you will notice that this is not the disjunction that should have the same meaning as the original conditional. There is probably no mother on Earth who would say “Don’t finish your peas, or you get dessert!” to her child (certainly not if she expects to be understood). So what’s going on here?

The problem is that “Finish your peas, or you won’t get dessert.” has the same logical content as “If you get dessert then you finished your peas.” (Notice that the roles of the antecedent and consequent have been switched.) And, while this last sentence sounds awkward, it is probably a more accurate reflection of what the mother intended. The problem *really *is that people are incredibly sloppy with their conditional statements! A lot of people secretly want the \(3^{\text{rd}}\) row of the truth table for \(\implies\) to have a \(\phi\) in it, and it simply doesn’t! The operator that results if we do make this modification is called the biconditional, and is expressed in English using the phrase “if and only if” (which leads mathematicians to the abbreviation “iff” much to the consternation of spell-checking programs everywhere). The biconditional is denoted using an arrow that points both ways. Its truth table follows.

\(A\) | \(B\) | \(A \iff B\) | |

\(\text{T}\) | \(\text{T}\) | \(\text{T}\) | |

\(\text{T}\) | \(\phi\) | \(\phi\) | |

\(\phi\) | \(\text{T}\) | \(\phi\) | |

\(\phi\) | \(\phi\) | \(\text{T}\) |

Please note, that while we like to strive for precision, we do not necessarily recommend the use of phrases such as “You will receive dessert if, and only if, you finish your peas.” with young children.

Since conditional sentences are often confused with the sentence that has the roles of antecedent and consequent reversed, this switched-around sentence has been given a name: it is the **converse **of the original statement. Another conditional that is distinct from (but related to) a given conditional is its **inverse**. This sort of sentence probably had to be named because of a very common misconception, many people think that the way to negate an if-then proposition is to negate its parts. Algebraically, this looks reasonable – sort of a distributive law for logical negation over implications – \(¬(A \implies B) = ¬A \implies ¬B\). Sadly, this reasonable looking assertion can’t possibly be true; since implications have just one \(\phi\) in a truth table, the negation of an implication must have three – but the statement with the \(¬\)’s on the *parts *of the implication is going to only have a single \(\phi\) in its truth table.

To recap, the converse of an implication has the pieces (antecedent and consequent) switched about. The inverse of an implication has the pieces negated. Neither of these is the same as the original implication. Oddly, this is one of those times when two wrongs *do *make a right. If you start with an implication, form its converse, then take the inverse of that, you get a statement having exactly the same logical meaning as the original. This new statement is called the **contrapositive**.

This information is displayed in Figure 2.2.1

One final piece of advice about conditionals: don’t confuse logical if-then relationships with causality. Many of the if-then sentences we run into in ordinary life describe cause and effect: “If you cut the green wire the bomb will explode.” (Okay, that one is an example from the ordinary life of a bomb squad technician, but...) It is usually best to think of the if-then relationships we find in Logic as divorced from the flow of time, the fact that \(A \implies B\) is logically the same as \(¬A ∨ B\) lends credence to this point of view.

## Exercises:

The transitive property of equality says that if \(a = b\) and \(b = c\) then \(a = c\). Does the implication arrow satisfy a transitive property? If so, state it.

Complete truth tables for the compound sentences \(A \implies B\) and \(¬A ∨ B\).

Complete a truth table for the compound sentence \(A \implies (B \implies C)\) and for the sentence \((A \implies B) \implies C\). What can you conclude about conditionals and the associative property?

Determine a sentence using the *and *connector \((∧)\) that gives the negation of \(A \implies B\).

Rewrite the sentence “Fix the toilet or I won’t pay the rent!” as a conditional.

Why is it that the sentence “If pigs can fly, I am the king of Mesopotamia.” true?

Express the statement \(A \implies B\) using the Peirce arrow and/or the Scheffer stroke. (See Exercise \(2.1.5\) in the previous section.)

Find the contrapositives of the following sentences.

If you can’t do the time, don’t do the crime.

If you do well in school, you’ll get a good job.

If you wish others to treat you in a certain way, you must treat others in that fashion.

If it’s raining, there must be clouds.

If \(a_n ≤ b_n\), for all \(n\) and \(\sum_{n=0}^{\infty} b_n\) is a convergent series, then \(\sum_{n=0}^{\infty} a_n\) is a convergent series.

What are the converse and inverse of “If you watch my back, I’ll watch your back.”?

The integral test in Calculus is used to determine whether an infinite series converges or diverges: Suppose that \(f(x)\) is a positive, decreasing, real-valued function with \(\lim_{x \longrightarrow ∞} f(x) = 0\), if the improper integral \(\int_{0}^{\infty} f(x)\) has a finite value, then the infinite series \(\sum_{n=1}^{\infty} f(n)\) converges. The integral test should be envisioned by letting the series correspond to a right-hand Riemann sum for the integral, since the function is decreasing, a right-hand Riemann sum is an underestimate for the value of the integral, thus

\(\sum_{n=1}^{\infty} f(n) < \int_{0}^{\infty} f(x) \).

Discuss the meanings of and (where possible) provide justifications for the inverse, converse and contrapositive of the conditional statement in the integral test.

On the Island of Knights and Knaves (see Exercise \(2.1.6\)) you encounter two individuals named Locke and Demosthenes.

- Locke says, “Demosthenes is a knave.”
- Demosthenes says “Locke and I are knights.”

Who is a knight and who a knave?