2.2: Conditional Statements
Learning Objectives
 Identify the hypothesis and conclusion of an ifthen or conditional statement.
 Write the converse, inverse, and contrapositive of an ifthen statement.
 Recognize a biconditional statement.
Review Queue
Find the next figure or term in the pattern.
 5, 8, 12, 17, 23,...

\begin{align*}\frac{2}{5}, \frac{3}{6}, \frac{4}{7}, \frac{5}{9}, \frac{6}{10}, \ldots\end{align*}
25,36,47,59,610,…  Find a counterexample for the following conjectures.
 If it is April, then it is Spring Break.
 If it is June, then I am graduating.
Know What? Rube Goldman was a cartoonist in the 1940s who drew crazy inventions to do very simple things. The invention to the right has a series of smaller tasks that leads to the machine wiping the man’s face with a napkin.
Write a series of ifthen statements to that would caption this cartoon, from \begin{align*}A\end{align*}
IfThen Statements
Conditional Statement (also called an IfThen Statement): A statement with a hypothesis followed by a conclusion.
Another way to define a conditional statement is to say, “If this happens, then that will happen.”
Hypothesis: The first, or “if,” part of a conditional statement. An educated guess.
Conclusion: The second, or “then,” part of a conditional statement. The conclusion is the result of a hypothesis.
Keep in mind that conditional statements might not always be written in the “ifthen” form. Here are a few examples.
Statement 1: If you work overtime, then you’ll be paid timeandahalf.
Statement 2: I’ll wash the car if the weather is nice.
Statement 3: If 2 divides evenly into \begin{align*}x\end{align*}
Statement 4: I’ll be a millionaire when I win monopoly.
Statement 5: All equiangular triangles are equilateral.
Statements 1 and 3 are written in the “ifthen” form. The hypothesis of Statement 1 is “you work overtime.” The conclusion is “you’ll be paid timeandahalf.”
So, if Sarah works overtime, then what will happen? From Statement 1, we can conclude that she will be paid timeandahalf.
If 2 goes evenly into 16, what can you conclude? From Statement 3, we know that 16 must be an even number.
Statement 2 has the hypothesis after the conclusion. Even though the word “then” is not there, the statement can be rewritten as: If the weather is nice, then I’ll wash the car. If the word “if” is in the middle of a conditional statement, the hypothesis is always after it.
Statement 4 uses the word “when” instead of “if.” It should be treated like Statement 2, so it can be written as: If I win monopoly, then I will be a millionaire.
Statement 5 “if” and “then” are not there, but can be rewritten as: If a triangle is equiangular, then it is equilateral.
Converse, Inverse, and Contrapositive of a Conditional Statement
Look at Statement 2 again: If the weather is nice, then I’ll wash the car.
This can be rewritten using letters to represent the hypothesis and conclusion.
\begin{align*}\text{If} \ p, \text{then} \ q. \quad \quad p = \text{the weather is nice}\!\\ {\;\;}\qquad \qquad \qquad \qquad q = \text{I’ll wash the car}\!\\ \text{Or}, p \rightarrow q\end{align*}
In addition to these positives, we can also write the negations, or “not”s of \begin{align*}p\end{align*} and \begin{align*}q\end{align*}. The symbolic version of not \begin{align*}p\end{align*}, is \begin{align*}\sim p\end{align*}.
\begin{align*}\sim p= \text{the weather is not nice}\!\\ \sim q = \text{I won’t wash the car}\end{align*}
Using these negations and switching the order of \begin{align*}p\end{align*} and \begin{align*}q\end{align*}, we can create three more conditional statements.
\begin{align*}& \text{Converse} && q \rightarrow p && \underbrace{\text{If I wash the car}}_{q}, \ \underbrace{\text{then the weather is nice}}_{p}.\\ & \text{Inverse} && \sim p \rightarrow \sim q && \underbrace{\text{If the weather is not nice}}_{\sim p}, \ \underbrace{\text{then I won't wash the car}}_{\sim q}.\\ & \text{Contrapositive} && \sim q \rightarrow \sim p && \underbrace{\text{If I don't wash the car}}_{\sim q}, \ \underbrace{\text{then the weather is not nice}}_{\sim p}.\end{align*}
If we accept “If the weather is nice, then I’ll wash the car” as true, then the converse and inverse are not necessarily true. However, if we take original statement to be true, then the contrapositive is also true. We say that the contrapositive is logically equivalent to the original ifthen statement.
Example 1: Use the statement: If \begin{align*}n > 2\end{align*}, then \begin{align*}n^2 > 4\end{align*}.
a) Find the converse, inverse, and contrapositive.
b) Determine if the statements from part a are true or false. If they are false, find a counterexample.
Solution: The original statement is true.
\begin{align*}& \underline{\text{Converse}}: && \text{If} \ n^2>4, \ \text{then} \ n > 2. && False. \ n \ \text{could be} \ 3, \ \text{making} \ n^2=9.\\ & \underline{\text{Inverse}}: && \text{If} \ n < 2, \text{then} \ n^2 < 4. && False. \ \text{Again, if} \ n = 3, \ \text{then} \ n^2=9.\\ & \underline{\text{Contrapositive}}: && \text{If} \ n^2<4, \text{then} \ n < 2. && True, \ \text{the only square number less than}\\ & && && \text{4 is 1, which has square roots of 1 or 1, both}\\ & && && \text{less than 2.}\end{align*}
Example 2: Use the statement: If I am at Disneyland, then I am in California.
a) Find the converse, inverse, and contrapositive.
b) Determine if the statements from part a are true or false. If they are false, find a counterexample.
Solution: The original statement is true.
\begin{align*}& \underline{\text{Converse}}: && \text{If I am in California, then I am at Disneyland.}\\ &&& False. \ \text{I could be in San Francisco.}\\ & \underline{\text{Inverse}}: && \text{If I am not at Disneyland, then I am not in California.}\\ &&& False. \ \text{Again, I could be in San Francisco.}\\ & \underline{\text{Contrapositive}}: && \text{If I am not in California, then I am not at Disneyland.}\\ &&& True. \ \text{If I am not in the state, I couldn’t be at Disneyland.}\end{align*}
Notice for the inverse and converse we can use the same counterexample. This is because the inverse and converse are also logically equivalent.
Example 3: Use the statement: Any two points are collinear.
a) Find the converse, inverse, and contrapositive.
b) Determine if the statements from part a are true or false. If they are false, find a counterexample.
Solution: First, change the statement into an “ifthen” statement: If two points are on the same line, then they are collinear.
\begin{align*}& \underline{\text{Converse}}: && \text{If two points are collinear, then they are on the same line.} \ True.\\ & \underline{\text{Inverse}}: && \text{If two points are not on the same line, then they are not collinear.} \ True.\\ & \underline{\text{Contrapositive}}: && \text{If two points are not collinear, then they do not lie on the same line}. \ True.\end{align*}
Biconditional Statements
Example 3 is an example of a biconditional statement.
Biconditional Statement: When the original statement and converse are both true.
So, \begin{align*}p \rightarrow q\end{align*} is true and \begin{align*}q \rightarrow p\end{align*} is true. It is written \begin{align*}p \leftrightarrow q\end{align*}, with a double arrow to indicate that it does not matter if \begin{align*}p\end{align*} or \begin{align*}q\end{align*} is first. It is said, “\begin{align*}p\end{align*} if and only if \begin{align*}q\end{align*}”
Example 4: Rewrite Example 3 as a biconditional statement.
Solution: If two points are on the same line, then they are collinear can be rewritten as: Two points are on the same line if and only if they are collinear.
Replace the “ifthen” with “if and only if” in the middle of the statement. “If and only if” can be abbreviated “iff.”
Example 5: The following is a true statement:
\begin{align*}m \angle ABC > 90^\circ\end{align*} if and only if \begin{align*}\angle ABC\end{align*} is an obtuse angle.
Determine the two true statements within this biconditional.
Solution:
Statement 1: If \begin{align*}m \angle ABC > 90^\circ\end{align*}, then \begin{align*}\angle ABC\end{align*} is an obtuse angle
Statement 2: If \begin{align*}\angle ABC\end{align*} is an obtuse angle, then \begin{align*}m \angle ABC > 90^\circ\end{align*}.
You should recognize this as the definition of an obtuse angle. All geometric definitions are biconditional statements.
Example 6: \begin{align*}p: x < 10 \qquad q: 2x < 50\end{align*}
a) Is \begin{align*}p \rightarrow q\end{align*} true? If not, find a counterexample.
b) Is \begin{align*}q \rightarrow p\end{align*} true? If not, find a counterexample.
c) Is \begin{align*}\sim p \rightarrow \sim q\end{align*} true? If not, find a counterexample.
d) Is \begin{align*}\sim q \rightarrow \sim p\end{align*} true? If not, find a counterexample.
Solution:
\begin{align*}&p \rightarrow q: \qquad \quad \ \text{If}\ x < 10, \ \text{then}\ 2x < 50. \quad \ True.\\ &q \rightarrow p: \qquad \quad \ \text{If}\ 2x < 50, \ \text{then} \ x < 10. \quad \ False, \ x = 15 \ \text{would be a counterexample}.\\ &\sim p \rightarrow \sim q: \quad \ \text{If}\ x > 10, \ \text{then}\ 2x > 50. \quad \ False, \ x = 15 \ \text{would also work here.}\\ &\sim q \rightarrow \sim p: \quad \ \text{If}\ 2x > 50, \ \text{then} \ x > 10. \quad \ True. \end{align*}
Know What? Revisited The conditional statements are as follows:
\begin{align*}A \rightarrow B\end{align*}: If the man raises his spoon, then it pulls a string.
\begin{align*}B \rightarrow C\end{align*}: If the string is pulled, then it tugs back a spoon.
\begin{align*}C \rightarrow D\end{align*}: If the spoon is tugged back, then it throws a cracker into the air.
\begin{align*}D \rightarrow E\end{align*}: If the cracker is tossed into the air, the bird will eat it.
\begin{align*}E \rightarrow F\end{align*}: If the bird eats the cracker, then it turns the pedestal.
\begin{align*}F \rightarrow G\end{align*}: If the bird turns the pedestal, then the water tips over.
\begin{align*}G \rightarrow H\end{align*}: If the water tips over, it goes into the bucket.
\begin{align*}H \rightarrow I\end{align*}: If the water goes into the bucket, then it pulls down the string.
\begin{align*}I \rightarrow J\end{align*}: If the bucket pulls down the string, then the string opens the box.
\begin{align*}J \rightarrow K\end{align*}: If the box is opened, then a fire lights the rocket.
\begin{align*}K \rightarrow L\end{align*}: If the rocket is lit, then the hook pulls a string.
\begin{align*}L \rightarrow M\end{align*}: If the hook pulls the string, then the man’s faces is wiped with the napkin.
This is a very complicated contraption used to wipe a man’s face. Purdue University liked these cartoons so much, that they started the Rube Goldberg Contest in 1949. This past year, the task was to pump hand sanitizer into someone’s hand in no less than 20 steps. http://www.purdue.edu/newsroom/rubegoldberg/index.html
Review Questions
For questions 16, determine the hypothesis and the conclusion.
 If 5 divides evenly into \begin{align*}x\end{align*}, then \begin{align*}x\end{align*} ends in 0 or 5.
 If a triangle has three congruent sides, it is an equilateral triangle.
 Three points are coplanar if they all lie in the same plane.
 If \begin{align*}x =3\end{align*}, then \begin{align*}x^2=9\end{align*}.
 If you take yoga, then you are relaxed.
 All baseball players wear hats.
 Write the converse, inverse, and contrapositive of #1. Determine if they are true or false. If they are false, find a counterexample.
 Write the converse, inverse, and contrapositive of #5. Determine if they are true or false. If they are false, find a counterexample.
 Write the converse, inverse, and contrapositive of #6. Determine if they are true or false. If they are false, find a counterexample.
 Find the converse of #2. If it is true, write the biconditional of the statement.
 Find the converse of #3. If it is true, write the biconditional of the statement.
 Find the converse of #4. If it is true, write the biconditional of the statement.
For questions 1316, use the statement: If \begin{align*}AB = 5\end{align*} and \begin{align*}BC = 5\end{align*}, then \begin{align*}B\end{align*} is the midpoint of \begin{align*}\overline{AC}\end{align*}.
 If this is the converse, what is the original statement? Is it true?
 If this is the original statement, what is the inverse? Is it true?
 Find a counterexample of the statement.
 Find the contrapositive of the original statement from #13.
 What is the inverse of the inverse of \begin{align*}p \rightarrow q\end{align*}? HINT: Two wrongs make a right in math!
 What is the oneword name for the converse of the inverse of an ifthen statement?
 What is the oneword name for the inverse of the converse of an ifthen statement?
 What is the contrapositive of the contrapositive of an ifthen statement?
For questions 2124, determine the two true conditional statements from the given biconditional statements.
 A U.S. citizen can vote if and only if he or she is 18 or more years old.
 A whole number is prime if and only if it has exactly two distinct factors.
 Points are collinear if and only if there is a line that contains the points.
 \begin{align*}2x = 18\end{align*} if and only if \begin{align*}x = 9\end{align*}.

\begin{align*}p: x = 4 \quad q: x^2=16\end{align*}
 Is \begin{align*}p \rightarrow q\end{align*} true? If not, find a counterexample.
 Is \begin{align*}q \rightarrow p\end{align*} true? If not, find a counterexample.
 Is \begin{align*}\sim p \rightarrow \sim q\end{align*} true? If not, find a counterexample.
 Is \begin{align*}\sim q \rightarrow \sim p\end{align*} true? If not, find a counterexample.

\begin{align*}p:x=2 \quad q:x+3=5\end{align*}
 Is \begin{align*}p \rightarrow q\end{align*} true? If not, find a counterexample.
 Is \begin{align*}q \rightarrow p\end{align*} true? If not, find a counterexample.
 Is \begin{align*}\sim p \rightarrow \sim q\end{align*} true? If not, find a counterexample.
 Is \begin{align*}\sim q \rightarrow \sim p\end{align*} true? If not, find a counterexample.

\begin{align*}p:\end{align*} the measure of \begin{align*}\angle ABC=90^\circ \ q: \angle ABC\end{align*} is a right angle
 Is \begin{align*}p \rightarrow q\end{align*} true? If not, find a counterexample.
 Is \begin{align*}q \rightarrow p\end{align*} true? If not, find a counterexample.
 Is \begin{align*}\sim p \rightarrow \sim q\end{align*} true? If not, find a counterexample.
 Is \begin{align*}\sim q \rightarrow \sim p\end{align*} true? If not, find a counterexample.

\begin{align*}p:\end{align*} the measure of \begin{align*}\angle ABC=45^\circ \ q: \angle ABC\end{align*} is an acute angle
 Is \begin{align*}p \rightarrow q\end{align*} true? If not, find a counterexample.
 Is \begin{align*}q \rightarrow p\end{align*} true? If not, find a counterexample.
 Is \begin{align*}\sim p \rightarrow \sim q\end{align*} true? If not, find a counterexample.
 Is \begin{align*}\sim q \rightarrow \sim p\end{align*} true? If not, find a counterexample.
 Write a conditional statement. Write the converse, inverse and contrapositive of your statement. Are they true or false? If they are false, write a counterexample.
 Write a true biconditional statement. Separate it into the two true conditional statements.
Review Queue Answers
 30
 \begin{align*}\frac{7}{11}\end{align*}

 It could be another day that isn’t during Spring Break. Spring Break doesn’t last the entire month.
 You could be a freshman, sophomore or junior. There are several counterexamples.
Notes/Highlights Having trouble? Report an issue.
Color  Highlighted Text  Notes  

Show More 