CONDITIONAL ASSERTIONS
This section is concerned with logical constructions made with the connective called the conditional operator. In mathematical English, applying the conditional operator to $P$ and $Q$ produces a sentence that may bewritten, “If $P$, then $Q$”, or “$P$ implies$Q$”. Sentences of this form are conditional assertions.
Conditional assertions are at the very heart of mathematical reasoning. Mathematical proofs typically consist of chains of conditional assertions.
Some of the narrative formats used for proving conditional assertions are discussed in Forms of Proof.
The truth table for conditional assertions
A conditional assertion “If $P$ then $Q$” has the precise truth table shown here.

$P$ 
$Q$ 
If $P$ then $Q$ 

T 
T 
T 

T 
F 
F 

F 
T 
T 

F 
F 
T 
The meaning of “If $P$ then $Q$” is determined entirely by the truth values of $P$ and $Q$ and this truth table. The meaning is not determined by the usual English meanings of the words “if” and “then”.
The truth table is summed up by this purple pronouncement:
The Prime Directive of conditional assertions:
A conditional assertion is true unless
the hypothesis is true and the conclusion is false.
That means that to prove “If $P$ then $Q$” is FALSE
you must show that $P$ is TRUE(!) and $Q$ is FALSE.
The Prime Directive is harder to believe in than leprechauns. Some who are new to abstract math get into an enormous amount of difficulty because they don’t take it seriously.
Example
The statement “if $n\gt 5$, then $n\gt 3$” is true for all integers
$n$.
 This means that “If $7\gt 5$ then $7\gt 3$” is true.
 It also means that “If $2\gt 5$ then $2\gt 3$” is true! If you really believe that “If $n\gt 5$, then $n\gt 3$” is true for all integers n, then you must in particular believe that “If $2\gt 5$ then $2\gt 3$” is true. That’s why the truth table for conditional assertions takes the form it does.
 On the other hand, “If $n\gt 5$, then $n\gt 8$” is not true for all integers $n$. In particular, “If $7\gt 5$, then $7\gt 8$” is false. This fits what the truth table says, too.
For more about this, see Understanding conditionals.
Remark
Most of the time in mathematical writing the conditional assertions which are actually stated involve assertions containing variables, and the claim is typically that the assertion is true for all instances of the variables. Assertions involving statements without variables occur only implicitly in the process of checking instances of the assertions. That is why a statement such as, “If $2\gt 5$ then $2\gt 3$” seems awkward and unfamiliar.
It is unfamiliar and occurs rarely. I mention it here because of the occurrence of vacuous truths, which do occur in mathematical writing.
Conditionals and Truth Sets
The set $\{xP(x)\}$ is the set of exactly all $x$ for which $P(x)$ is true. It is called the truth set of $P(x)$.
Examples
 If $n$ is an integer variable, then the truth set of “$3\lt n\lt9$” is the set $\{4,5,6,7,8\}$.
 The truth set of “$n\gt n+1$” is the empty set.
Weak and strong
“If $P(x)$ then $Q(x)$” means that $\{xP(x)\}\subseteq
\{xQ(x)\}$. We say $P(x)$ is stronger than $Q(x)$, meaning that $P$ puts more requirements on $x$ than $Q$ does. The objects $x$ that make $P$ true necessarily make $Q$ true, so there might be objects making $Q$ true that don’t make $P$ true.
Example
The statement “$x\gt4$” is stronger than the statement “$x\gt\pi$”. That means that $\{xx\gt4\}$ is a proper subset of $\{xx\gt\pi\}$. In other words, $\{xx\gt4\}$ is “smaller” than $\{xx\gt\pi\}$ in the sense of subsets. For example, $3.5\in\{xx\gt\pi\}$ but $3.5\notin\{xx\gt4\}$. This is a kind of reversal (a Galois correspondence) that confused many of my students.
“Smaller” means the truth set of the stronger statement omits elements that are in the truth set of the weaker statement. In the case of finite truth sets, “smaller” also means it has fewer elements, but that does not necessarily work for infinite sets, such as in the example above, because the two truth sets $\{xx\gt4\}$ and $\{xx\gt\pi\}$ have the same cardinality.
Making a statement stronger
makes its truth set “smaller”.
Terminology and usage
Hypothesis and conclusion
In the assertion “If $P$, then $Q$”:
 P is the hypothesis or antecedent
of the assertion. It is a constraint or condition that holds in the very narrow context of the assertion. In other words, the assertion, “If $P$, then $Q$” does not say that $P$ is true. The idea of the direct method of proof is to assume that $P$ is true during the proof.
 $Q$ is the conclusion or consequent. It is also incorrect to assume that $Q$ is true anywhere else except in the assertion “If $P$, then $Q$”.
“Implication”
Conditionals such as “If $P$ then $Q$” are also called implications , but be wary: “implication” is a technical term and does not fit the meaning of the word in conversational English.
 In ordinary English, you might ask, “What are the implications of knowing that $x\gt4$? Answer: “Well, for one thing, $x$ is bigger that $\pi$.”
 In the terminology of math and logic, the whole statement “If $x\gt4$ then $x\gt\pi$” is called an “implication”.
Vacuous truth
The last two lines of the truth table for conditional assertions mean that if the hypothesis of the assertion is false, then the assertion is automatically true.
In the case that “If $P$ then $Q$” is true because $P$ is false, the assertion is said to be vacuously true.
The word “vacuous” refers to the fact that in the vacuous case the conditional assertion says nothing interesting about either $P$ or $Q$. In particular, the conditional assertion may be true even if the conclusion is false (because of the last line of the truth table).
Example
Both these statements are vacuously true!
 If $4$ is odd, then $3 = 3$.
 If $4$ is odd, then $3\neq3$.
Example
If $A$ is any set then $\emptyset\subseteq A.$ Proof (rewrite by definition): You have to prove that if $x\in\emptyset$, then $x\in A$. But the statement “$x\in\emptyset$” is false no matter what $x$ is, so the statement “$\emptyset\subseteq A$” is vacuously true.
Definitions involving vacuous truth
Vacuous truth can cause surprises in connection with certain concepts which are defined using a conditional assertion.
Example
 Suppose $R$ is a relation on a set $S$. Then $R$ is antisymmetric if the following statement is true: If for all $x,y\in S$, $xRy$ and $yRx$, then $x=y$.
 For example, the relation “$\leq$” on the real numbers is antisymmetric, because if $x\leq y$ and $y\leq x$, then $x=y$.
 The relation “$\lt$” on the real numbers is also antisymmetric. It is vacuously antisymmetric, because the statement
(AS) “if $x\gt y$ and $y\gt x$, then $x = y$”
is vacuously true. If you say it can’t happen that $x\gt y$ and $y\gt x$, you are correct, and that means precisely that (AS) is vacuously true.
Remark
Although vacuous truth may be disturbing when you first see it, making either statement in the example false would result in even more peculiar situations. For example, if you decided that “If $P$ then $Q$” must be false when $P$ and $Q$ are both false, you would then have to say that this statement
“For any integers $m$ and $n$, if $m\gt 5$ and $5\gt n$, then $m\gt n$”
is not always true (substitute $3$ for $m$ and $4$ for $n$ and you get both $P$ and $Q$ false). This would surely be an unsatisfactory state of affairs.
How conditional assertions are worded
A conditional assertion may be worded in various ways. It takes some practice to get used to understanding all of them as conditional.
Our habit of swiping English words and phrases and changing their meaning in an unintuitive way causes many problems for new students, but I am sure that the worst problem of that kind is caused by the way conditional assertions are worded.
The most common ways of wording a conditional assertion with hypothesis $P$ and conclusion $Q$ are:
 If $P$, then $Q$.
 $P$ implies $Q$.
 $P$ only if $Q$.
 $P$ is sufficient for $Q$.
 $Q$ is necessary for $P$.
In the symbolic language
 $P(x)\to Q(x)$
 $P(x)\Rightarrow Q(x)$
 $P(x)\supset Q(x)$
Math logic is notorious for the many different symbols used by different authors with the same meaning. This is in part because it developed separately in three different academic areas: Math, Philosophy and Computing Science.
Example
All the statements below mean the same thing. In these statements $n$ is an integer variable.
 If $n\lt5$, then $n\lt10$.
 $n\lt5$ implies $n\lt10$.
 $n\lt5$ only if $n\lt10$.
 $n\lt5$ is sufficient for $n\lt10$.
 $n\lt10$ is necessary for $n\lt5$.
 $n\lt5\to n\lt10$
 $n\lt5\Rightarrow n\lt10$
 $n\lt5\supset n\lt10$
Since “$P(x)\supset Q(x)$” means that $\{xP(x)\}\subseteq
\{xQ(x)\}$, there is a notational clash between implication written “$\supset $” and inclusion written “$\subseteq $”. This is exacerbated by the two meanings of the inclusion symbol “$\subset$”.
These ways of wording conditionals cause problems for students, some of them severe. They are discussed in the section Understanding conditionals.
Usage of symbols
The logical symbols “$\to$”, “$\Rightarrow$”,
“$\supset$” are frequently used when writing on the blackboard, but are not common in texts, except for texts in mathematical logic.
More about implication in logic
If you know some logic, you may know that there is a subtle difference between the statements
 “If $P$ then $Q$”
 “$P$ implies $Q$”.
Here is a concrete example:
 “If $x\gt2$, then $x$ is positive.”
 “$x\gt2$ implies that $x$ is positive.”
Note that the subject of sentence (1) is the (variable) number $x$, but the subject of sentence (2) is the assertion
“$x\lt2$”. Behind this is a distinction made in formal logic between the material conditional “if $P$ then $Q$” (which means that $P$ and $Q$ obey the truth table for “If..then”) and logical consequence ($Q$ can be proved given $P$). I will ignore the distinction here, as most mathematicians do except when they are proving things about logic.
In some texts, $P\Rightarrow Q$ denotes the material conditional and $P\to Q$ denotes logical consequence.
Universal conditional assertions
A conditional assertion containing a variable that is true for any value of the correct type of that variable is a universally true conditional assertion. It is a special case of the general notion of universally true assertion.
Examples
 For all $x$, if $x\lt5$, then $x\lt10$.
 For any integer $n$, if $n^2$ is even, then $n$ is even.
 For any real number $x$, if $x$ is an integer, then $x^2$ is an integer.
These are all assertions of the form “If $P(x)$, then $Q(x)$”. In (1), the hypothesis is the assertion “$x\lt5$”; in (2), it is the assertion “$n^2$ is even”, using an adjective to describe property that $n^2$ is even; in (3), it is the assertion “$x$ is an integer”, using a noun to assert that $x$ has the property of being an integer. (See integral.)
Expressing universally true conditionals in math English
The sentences listed in the example above provide ways of expressing universally true conditionals in English. They use “for all” or “for any”, You may also use these forms (compare in this discussion of universal assertions in general.)
 For all functions $f$, if $f$ is differentiable then it is continuous.
 For (every, any, each) function $f$, if $f$ is differentiable then it is continuous.
 If $f$ is differentiable then it is continuous, for any function $f$.
 If $f$ is differentiable then it is continuous, where $f$ is any function.
 If a function $f$ is differentiable, then it is continuous. (See indefinite article.)
Sometimes mathematicians write, “If the function $f$ is differentiable, then it is continuous.” At least sometimes, they mean that every function that is differentiable is continuous. I suspect that this usage occurs in texts written by nonnativeEnglish speakers.
Disguised conditionals
There are other ways of expressing universal conditionals that are disguised, because they are not conditional assertions in English.
Let $C(f)$ mean that $f$ is continuous and and $D(f)$ mean that $f$ is differentiable. The (true) assertion
“For all $f$, if $D(f)$, then $C(f)$”
can be said in the following ways:
 Every (any, each) differentiable function is continuous.
 All differentiable functions are continuous.
 Differentiable functions are continuous. Or: “…are always continuous.”
 A differentiable function is continuous.
 The differentiable functions are continuous.
Notes
 Watch out for (4). Beginning abstract math students sometimes don’t recognize it as universal. They may read it as “Some differentiable function is continuous.” Authors often write, “A differentiable function is necessarily continuous.”
 I believe that (5) is obsolescent. I don’t think younger nativeEnglishspeaking Americans would use it. (Warning: This claim is not based on lexicographical research.)
Assertions related to a conditional assertion
Converse
The converse of a conditional assertion “If $P$ then $Q$” is “If $Q$ then $P$”.
Whether a conditional assertion is true
has no bearing on whether its converse it true.
Examples
 The converse of “If it’s a cow, it eats grass” is “If it eats grass, it’s a cow”. The first statement is true (let’s ignore the Japanese steers that drink beer or whatever), but the second statement is definitely false. Sheep eat grass, and they are not cows..
 The converse of “For all real numbers $x$, if $x > 3$, then $x > 2$.” is “For all real numbers $x$, if $x > 2$, then $x > 3$.” The first is true and the second one is false.
 “For all integers $n$, if $n$ is even, then $n^2$ is even.” Both this statement and its converse are true.
 “For all integers $n$, if $n$ is divisible by $2$, then $2n +1$ is divisible by $3$.” Both this statement and its converse are false.
Contrapositive
The contrapositive of a conditional assertion “If $P$ then $Q$” is “If not $Q$ then not $P$.”
A conditional assertion and its contrapositive
are both true or both false.
Example
The contrapositive of
“If $x > 3$, then $x > 2$”
is (after a little translation)
“If $x\leq2$ then $x\leq3$.”
For any number $x$, these two statements are both true or both false.
This means that if you prove “If not $P$ then not $Q$”, then you have also proved “If $P$ then $Q$.”
You can prove an assertion by proving its contrapositive.
This is called the contrapositive method and is discussed in detail in this section.
So a conditional assertion and its contrapositive have the same truth value. Two assertions that have the same truth value are said to be equivalent. Equivalence is discussed with examples in the Wikipedia article on necessary and sufficient.
Understanding conditional assertions
As you can see from the preceding discussions, statements of the form “If $P$ then Q” don’t mean the same thing in math that they do in ordinary English. This causes semantic contamination.
Examples
Time
In ordinary English, “If $P$ then $Q$” can suggest order of occurrence. For example, “If we go outside, then the neighbors will see us” implies that the neighbors will see us after we go outside.
Consider “If $n\gt7$, then $n\gt5$.” If $n\gt7$, that doesn’t mean $n$ suddenly gets greater than $7$ earlier than $n$ gets greater than $5$. On the other hand, “$n\gt5$ is necessary for $n\gt7$” (which remember means the same thing as “If $n\gt7$, then $n\gt5$) doesn’t mean that $n\gt5$ happens earlier than $n\gt7$. Since we are used to “if…then” having a timing implication, I suspect we get subconscious dissonance between “If $P$ then $Q$” and “$Q$ is necessary for $P$” in mathematical statements, and this dissonance makes it difficult to believe that that can mean the same thing.
Causation
“If $P$ then $Q$” can also suggest causation. The the sentence, “If we go outside, the neighbors will see us” has the connotation that the neighbors will see us because we went outside.
The contrapositive is “If the neighbors won’t see us, then we don’t go outside.” This English sentence seems to me to mean that if the neighbors are not around to see us, then that causes us to stay inside. In contrast to contrapositive in math, this means something quite different from the original sentence.
Wrong truth table
For some instances of the use of “if…then” in English, the truth table is different.
Consider: “If you eat your vegetables, you can have dessert.” Every child knows that this means they will get dessert if they eat their vegetables and not otherwise. So the truth table is:

$P$ 
$Q$ 
If $P$ then $Q$ 

T 
T 
T 

T 
F 
F 

F 
T 
F 

F 
F 
T 
In other words, $P$ is equivalent to $Q$. It appears to me that this truth table corresponds to English “if…then” when a rule is being asserted.
These examples show:
The different ways of expressing conditional assertions
may mean different things in English.
How can you get to the stage where you automatically understand the meaning of conditional assertions in math English?
You need to understand the equivalence of these formulations so well that it is part of your unconscious reaction to conditionals.
How can you gain that intuitive understanding? One way is by doing abstract math regularly for several years! (Of course, this is how you gain expertise in anything.) In other words, Practice, Practice!
Rigor
But it may help to remember that when doing proofs, we must take the rigorous view of mathematical objects:
 Math objects don’t change.
 Math objects don’t cause anything to happen.
The integers (like all math objects) just sit there, not doing anything and not affecting anything. $10$ is not greater than $4$ “because” it is greater than $7$. There is no “because” in rigorous math. Both facts, $10\gt4$ and $10\gt7$, are eternally true.
Eternal is how we think of them – I am not making a claim about “reality”.
 When you look at the integers, every time you find one that is greater than $7$ it turns out to be greater than $4$. That is how to think about “If $n > 7$, then $n > 4$”.
 You can’t find one that is greater than $7$ unless it is greater than $4$: It happens that $n > 7$ only if $n > 4$.
 Every time you look at one less than or equal to $4$ it turns out to be less than or equal to $7$ (contrapositive).
These three observations describe the same set of facts about a bunch of things (integers) that just sit there in their various relationships without changing, moving or doing anything. If you keep these remarks in mind, you will eventually have a natural, unforced understanding of conditionals in math.
Remark
None of this means you have to think of mathematical objects as dead and fossilized all the time. Feel free to think of them using all the metaphors and imagery you know, except when you are reading or formulating a proof written in mathematical English. Then you have to be rigorous!
Modus ponens
The truth table for conditional assertions may be summed up by saying: The conditional assertion “If $P$, then $Q$” is true unless $P$ is true and $Q$ is false.
This fits with the major use of conditional assertions in reasoning:
Modus Ponens
 If you know that a conditional assertion is true
 and
you know that its hypothesis is true,
 then you know its conclusion is true.
In symbols:
(1) When “If $P$ then $Q$” and $P$ are both true,
(2) then $Q$ must be true as well.
Modus Ponens is the most used method of deduction of all.
Remark
Modus ponens is not a method of proving conditional assertions. It is a method of using a conditional assertion in the proof of another assertion. Methods for proving conditional assertions are found in the chapter Forms of proof.
<![endif]>
This work is licensed under a Creative Commons AttributionShareAlike 2.5 License.