Logical Connective: IF...THEN.
-
Conditional.IF THEN. Notation: \(p\rightarrow q\), read as “if \(p\) then \(q\text{.}\)”
Section 2.2 Conditional Statements
In this section we introduce a new connective.
A conditional statement, as we saw in Section 1.1, has the form “if \(p\) then \(q\text{.}\)” We use the connective \(p\rightarrow q\) for conditional statements.
Before looking at the truth-table, we need to understand when an if...then... statement is true or false. This is actually trickier than it seems.
Example 2.2.1. Conditional Statement.
Suppose I say to you “If it rains tomorrow, then class is cancelled.” When would you accuse me of lying to you? For example, if it doesn’t rain and we have class, would you have thought my statement false? No. Now, you might not think my statement is true, either. But remember, statements must be either true or false. So if it is not false, then it is true.
Now, what if it doesn’t rain, but I cancel class anyway? Would I have lied? No, I didn’t tell you I wouldn’t cancel class. So, again, this would be a true statement.
The only time you could accuse me of having made a false statement is if it rains and we don’t cancel class. If we think of “it rains tomorrow” as \(p\) and “class is cancelled” as \(q\text{,}\) then the only time the statement is false is when \(p\) is true and \(q\) is false.
| \(p\) | \(q\) | \(p\rightarrow q\) |
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
To better understand the truth or falsity of a conditional, let’s look at another example.
Example 2.2.3. A Mathematical Conditional Statement.
Consider the mathematical statement “If \(x>2\) then \(x^2>4\)”. Do you agree this is a true mathematical statement?
Let \(p\) be \(x>2\) and \(q\) be \(x^2>4\text{.}\) Consider all the cases of \(p\) and \(q\) being true or false.
For example, if \(x=5, x^2=25\text{,}\) then we have the case where \(p\) is true and \(q\) is true.
If \(x=-5, x^2=25\text{,}\) then we have the case where \(p\) is false and \(q\) is true. But remember, the original statement is still true!
If \(x=1, x^2=1\text{,}\) then we have the case where \(p\) is false and \(q\) is false. But again, the original statement is still true.
It will be impossible to find an \(x\) that makes \(x>2\) true and \(x^2>4\) false. Thus, we never have the case where the conditional is false.
Activity 2.2.1.
Give an example of a conditional statement, not one of the examples from above. Write in your own words why \(p\rightarrow q\) must be true whenever \(p\) is false.
In a conditional statement \(p\rightarrow q\text{,}\) we call \(p\) the hypothesis, and \(q\) the conclusion.
Activity 2.2.2.
Use a truth-table to show \(\sim(p \rightarrow q)\) is logically equivalent to \(p\ \wedge\sim q\text{.}\) This is the rule for negating an if...then. Like DeMorgan’s Law, it is worth committing to memory.
Logical Equivalences for Conditionals.
- \(\displaystyle p\rightarrow q\equiv \sim p\ \vee q\)
- \(\sim(p\rightarrow q)\equiv p\ \wedge \sim q\)
The second equivalence is the negation of the conditional. It is going to be really important that we understand that the negation of a conditional is not a conditional itself.
Activity 2.2.3.
Give the truth-table for \(q\rightarrow p\text{.}\) Is it equivalent to \(p\rightarrow q\text{?}\) The statement \(q\rightarrow p\) is the converse of \(p\rightarrow q\text{.}\)
Activity 2.2.4.
Give the truth-table for \(\sim q\rightarrow \sim p\text{.}\) Is it equivalent to \(p\rightarrow q\text{?}\) The statement \(\sim q\rightarrow \sim p\) is the contrapositive of \(p\rightarrow q\text{.}\)
Activity 2.2.5.
What is the contrapositive of \(q\rightarrow p\text{?}\) This is also called the inverse of \(p\rightarrow q\text{.}\)
We summarize the previous activities in the following definition.
Definition 2.2.4.
A conditional statement \(p\rightarrow q\) has
- contrapositive: \(\sim q\rightarrow \sim p\text{;}\)
- converse: \(q\rightarrow p\text{;}\)
- inverse: \(\sim p\rightarrow \sim q\text{.}\)
Example 2.2.5. Contrapositive and Converse.
Consider the statement: If \(x>2\) then \(x^2>4\text{.}\) What is the contrapositive of this statement? What is the converse?
Answer.
\(x^2\leq 4\)\(x\leq 2\text{;}\)\(x^2>4\)\(x>2\text{.}\)
Activity 2.2.6.
Give the truth-table for \((p \rightarrow q) \wedge (q\rightarrow p)\text{.}\)
The statement \((p \rightarrow q) \wedge (q\rightarrow p)\) is useful in mathematics, but it is not very concise. We can simplify this statement by introducing an additional logical connective.
Logical Connective: IF AND ONLY IF.
-
Biconditional.IF AND ONLY IF. Notation: \(p\leftrightarrow q\text{,}\) read as "\(p\) if and only if \(q\text{.}\)"
The biconditional is really just the combination of two conditionals: \(p\rightarrow q\) and \(q\rightarrow p\text{.}\) In particular, \(p\leftrightarrow q\equiv (p\rightarrow q)\wedge (q\rightarrow p)\text{.}\)
| \(p\) | \(q\) | \(p\leftrightarrow q\) |
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |
Activity 2.2.7.
Explain, in your own words, how to decide when \(p \leftrightarrow q\) is true or false.
Activity 2.2.8.
We read the biconditional \(p \leftrightarrow q\) as “\(p\) if and only if \(q\text{.}\)” Determine which of the two statements \(p \rightarrow q\) and \(q\rightarrow p\) is equivalent to “\(p\) if \(q\)” and which is “\(p\) only if \(q\text{.}\)” Think about when each statement should be true (or false).
In mathematics we might see statements such as “\(p\) is necessary for \(q\)” or “\(p\) is sufficient for \(q\)”. These are really conditional statements.
- \(p\) is sufficient for \(q\) means \(p\rightarrow q\text{.}\)
- \(p\) is necessary for \(q\) means \(\sim p\rightarrow \sim q\text{,}\) which is equivalent to \(q\rightarrow p\text{.}\)
So a statement such as “\(p\) is necessary and sufficient for \(q\)” means \(p\leftrightarrow q\text{.}\)
Reading Questions Check Your Understanding
1.
- \(\sim p\vee q\)
- \(p\ \wedge \sim q\)
- \(\sim p\ \rightarrow \sim q\)
- \(\sim q\ \rightarrow \sim p\)
What is the negation of \(p\rightarrow q\text{?}\) Check your answer with a truth-table.
2.
Fill in the truth-table for \(\sim p\rightarrow \sim q\text{.}\)
| \(p\) | \(q\) | \(\sim p\rightarrow \sim q\) |
| T | T | |
| T | F | |
| F | T | |
| F | F |
3.
Using the truth-table for \(\sim p\rightarrow \sim q\text{,}\) explain why \(\sim p\rightarrow \sim q\) is not the negation of \(p\rightarrow q\text{.}\)
4.
Fill in the truth-table for \(\sim p \leftrightarrow q\text{.}\)
| \(p\) | \(q\) | \(\sim p \leftrightarrow q\) |
| T | T | |
| T | F | |
| F | T | |
| F | F |
Exercises Exercises
1.
Give the truth-table for \((p\ \wedge \sim q) \rightarrow r\text{.}\)
2.
Give the truth-table for \((p\rightarrow r) \leftrightarrow (q\rightarrow r)\text{.}\)
3.
Use a truth-table to show the logical equivalence \((p \rightarrow q)\equiv (\sim p\ \vee q)\text{.}\)
4.
Use a truth-table to show the logical equivalence \(\sim (p \rightarrow q)\equiv (p\ \wedge \sim q)\text{.}\)
5.
Write each of the following statements in symbolic form and determine whether they are logically equivalent. Include a truth-table and clearly state your conclusion.
If you paid full price, you didn’t buy it at Powell’s Books.
You didn’t buy it at Powell’s Books or you paid full price.
6.
Write each of the following statements in symbolic form and determine whether they are logically equivalent. Include a truth-table and clearly state your conclusion.
If 2 is a factor of \(n\) and 3 is a factor of \(n\text{,}\) then 6 is a factor of \(n\text{.}\)
2 is not a factor of \(n\) or 3 is not a factor of \(n\) or 6 is a factor of \(n\text{.}\)
7.
Write the negation (in English) of each of the following statements.
- If \(P\) is a square, then \(P\) is a rectangle.
- If the decimal expansion of \(r\) is terminating, then \(r\) is rational.
- If \(x\) is nonnegative, then \(x\) is positive or \(x\) is 0.
- If \(n\) is divisible by 6, then \(n\) is divisible by 2 and \(n\) is divisible by 3.
8.
Use a truth-table to show that the conditional statement \(p\rightarrow q\) is not equivalent to its inverse.
9.
If statements \(P\) and \(Q\) are logically equivalent, then the statement \(P\leftrightarrow Q\) is a tautology. Conversely, if \(P\leftrightarrow Q\) is a tautology, then \(P\) and \(Q\) are logically equivalent. Convert the logical equivalence \(p\rightarrow (q\rightarrow r)\equiv (p\ \wedge q)\rightarrow r\) to a statement using \(\leftrightarrow\) and use a truth-table to verify the statement is a tautology.
You have attempted of activities on this page.
