# Understanding the material conditional

by Issa Rice

Originally published on August 22, 2021; last major edits made on April 18, 2023

## Table of contents

- Introduction and audience for this piece
- The material conditional
- Why propositional logic?
- Conclusion

## Introduction and audience for this piece # ↩

In this essay I will explain the truth table of the material conditional (i.e., the “if …, then …” statement used in math). Students first learning formal logic or getting started with writing proofs are introduced to the idea of truth tables along with the usual logical connectives like (NOT), (AND), and (OR). Everything goes well until the logical connective (IMPLIES) for the material conditional is introduced. Why does a false statement imply anything? This is usually explained quite poorly, e.g., in terms of promises. For instance, “if the Moon is made of cheese, then ” is interpreted as the promise that as long as the Moon is made of cheese; but since the Moon is not made of cheese, we can’t say that the promise was broken, and so we say that the promise was kept. In this way, a false antecedent (the part of the conditional appearing after “if …”) means the condition of the promise never arises, so one automatically keeps the promise.

As a beginner to math, I spent many *years* being
confused about this. Just to give one aspect of my confusion,
the explanation in terms of promises didn’t make sense because
while it is true that one didn’t break the promise when the
antecedent is false, it’s also not clear that one has actually
kept the promise, or that one *would have* kept the
promise. It also seemed suspicious that we were picking one
specific way in which “if …, then …” was
used in natural language and ignoring all the others. Why were
we allowed to pick one specific meaning to use for
“if …, then …”? But then again, I didn’t
have the same problem with the logical OR connective: it always
meant
the inclusive
OR in math, and I was fine to accept that. So why was I so
confused about the material conditional? It seemed like I was
not only confused about the truth table, but also, inside my own
mind, confused about *why* I was confused—I had trouble
articulating my own confusion.

Like many students of mathematics, I eventually decided to accept the usual truth table without understanding it because it just seemed to work: it seemed to produce correct proofs, and in any case vacuous conditionals don’t show up all that much. Many years later, I eventually hit upon the core of my confusion, and also a way to resolve this confusion. This is what I’d like to explain in this essay.

In keeping with the above, the audience for this essay is someone who has written some proofs before and has seen propositional logic and truth tables, but who still feels confused why the truth table for the material conditional is the way it is.

One small terminological note: in this essay I use “material
conditional”, “conditional”, and “implication” interchangeably.
In some contexts people distinguish the
*material* conditional from other kinds of conditionals,
and in such places these terms can’t be used interchangeably,
but we will not be encountering any other conditionals in this
essay, so it is safe to switch around if one phrase sounds more
natural than the others. Some people also distinguish between
conditionals and implications, but we will again elide this distinction.
Similarly, we use “statement”, “sentence”, and “proposition”
interchangeably.

Finally, I know how difficult it is to learn *and
retain* math, so I have prepared some short questions for
you to answer throughout this essay to check your understanding.
If you sign up with your email address, you will get email
reminders to review these questions in the future. Since the
reminder emails will get more infrequent over time as your
understanding becomes more durable (this is known
as spaced
repetition), this allows you to efficiently retain your
understanding of the ideas in this essay.
The short review questions appear in boxes like the following:

## The material conditional # ↩

So why does the conditional statement have
the truth table that it does? In order to answer this question,
let’s think about what makes implication different from the
other logical connectives like NOT, AND, and OR. After all, we
have no problem with the other connectives so there must
be *some* difference we can identify. And, in my opinion,
it is this difference that makes people so uncomfortable with
the truth table for the conditional. If you feel so inclined, I
think this is a good exercise to attempt before reading on. It
will give you practice peeking into your own mind and trying to
pinpoint a subtle distinction your mind is already making.

Now, for a logical connective like OR, there is no debate about whether it can be represented as a binary operation on the truth values of sentences. Sure, we might debate whether our “or” should be inclusive or exclusive, but in either case, it is clear that this concept can be represented as one of two columns in a truth table:

inclusive-or | exclusive-or | ||
---|---|---|---|

T | T | T | F |

T | F | T | T |

F | T | T | T |

F | F | F | F |

The same cannot be said for the conditional statement! It is
true that “if , then ” is a statement involving
and , which we presume has some definite truth value. But is this
statement really a function of the *truth values* of
and ? Or could it depend on the *contents* of
and ?

Let me stress this point by bringing in an unrelated example:
Consider two functions, and , both defined on pairs
of numbers. We define , where
is
the sign
function that returns when a number is positive,
when it is the number , and when a number is
negative. We define to be the product of the two
numbers. Thus for example and .
It can be shown that , so the value of
depends only on the sign of the inputs.^{1} This is analogous
to how the OR connective depends only on the truth values of the
input statements. (This is sometimes expressed by saying that the OR
connective is *truth-functional*. The term “truth-functional”
comes from the fact that the connective is a function of the truth
values, i.e., depends only on the truth values.)
On the other hand, the value of depends
on the actual values of the inputs, not just the sign. In an
analogous way, a statement involving two other statements may
depend on just the truth values of the input statements, or it
may depend more specifically on the contents of the input
statements—what those statements are
actually *saying*.

A logical connective can only be represented in a truth table
if it depends solely on the truth values of the inputs. This is
because the rows of the truth table alternate between all the
permutations of *truth values* that the input sentences
can have, without reference to what those sentences are saying.
So at the moment it is not clear whether the conditional
statement can actually be represented in a truth table.

We can make the above point in a slightly different way: As
humans, we tend to *conflate* similar-seeming things in
order to simplify our thinking. But in math, it is important to
pay attention to one’s mental representations of things and to
not conflate things that are actually meaningfully distinct.
This sort of thing happens in mathematics all the time. We
might, for example, introduce a relation called on some
class of objects. But just because it looks like an inequality,
we cannot assume that it is reflexive or transitive or has any
of the properties we normally associate with an inequality
relation! A mathematician has to think very carefully to avoid
this kind of conflation.

Looking at the statement “if , then ”, we currently have two different mental models of it:

- The mysterious new meaning textbooks are forcing on us: the logical connective , which takes two sentences and turns them into a third sentence with a specific truth value, as described by the truth table.
- A much more familiar meaning: a statement governed by
certain rules of inference. In particular, the way we use “if
, then ” is that if we know that
“if , then ” is true and is true, then we are
allowed to also say that is true
(this is called
*modus ponens*). Furthermore, the way we show that “if , then ” is true is by supposing that is true, then doing some deductions to show that is true (this is called a conditional proof).

Intuitively—as well as when writing mathematical
proofs—we
think of (and interact with) “if , then ” in the sense (2)
given above. That is, a conditional statement is something that we
create via a conditional proof and make use of via *modus
ponens*. *A priori*, this has very little to do with
the statement as defined by the truth table! This
is just another way of stating that we aren’t sure yet whether our
intuitive notion of “if , then ” can be represented in a
truth table.

So, *are* these two meanings of “if , then ”
related? It turns out, there is a very satisfying connection: they
are exactly the same. That’s right, our
intuitive notion of “if , then ” coincides perfectly
with the truth-table definition of implication!

“Huh?” you might say. “How could our intuitive notion coincide with the truth table one? Didn’t we go on at length in the introduction about how unintuitive the implication is? How can it be both intuitive and unintuitive?” This is a good point, and we will come back to it soon! But first, let’s try to prove this result.

To prevent us from conflating the two meanings of the conditional, let’s use instead of . By inspecting the truth table, we see that the two are the same:

T | T | F | T | T |

T | F | F | F | F |

F | T | T | T | T |

F | F | T | T | T |

To summarize, the result we are trying to show is the
following: Our intuitive meaning of “if , then ”
(i.e., a sentence obeying both *modus ponens* and
conditional proof) is true if and only
if the material conditional (which is
equivalent to ) is true. If you feel excited
at this point, I think it’s a good idea to try to prove this
result yourself.

Let’s first suppose that our intuitive meaning of “if ,
then ” is true. We want to show that is
true. We have two cases, or . Suppose first that
is true. Then by *modus ponens*, we are allowed to
derive . Since we know that is true, we know that at
least one of or is true, so
is true. Next suppose that is true. This case is even
simpler: since is already true, we know that at least
one of or is true, so is
true. In either case, we have shown that is
true. This completes the first direction of the proof.

Next we show that if is true, then our intuitive meaning of “if , then ” is true. So suppose that is true. To show that “if , then ” is true, we will assume that is true and then (through a chain of deductions) show that is true. So let’s suppose that is true. Our goal now is to show that is true. Can be false? Suppose for the sake of contradiction that is false. Then we have both and . This contradicts , which states that at least one of or is true. This contradiction shows that our assumption that is false was in error, so must be true. By conditional proof, this shows that “if , then ” is true. This completes the other direction of the proof, and hence we have the result.

The above result justifies calling the “implies”
or conditional
connective, and treating the sentence the same
as we would the claim that “if , then ”. In a way, it
is amazing that “if , then ” can be captured by a
logical connective! The statement “if , then ” at
first seems much more fuzzy, something we use in an argument but
that can’t be formalized so simply—something that we would
expect depends on the *meanings* of the sentences and not
just their truth values.

Another way to view the result we proved is that if we add a symbol
“” to our notation and all we know is that it obeys *modus
ponens* and conditional proof, then our new symbol *must* be
truth-functional, and its truth table is that of the material
conditional.

Let’s return to the example from the start of this essay, “if
the Moon is made of cheese, then ”. Since the
antecedent is false, this is an example of
a vacuous
truth. Can we now make sense of this statement given the
result we showed above? One approach is to run through part of
the proof again, but using the concrete statements that we have
instead of (or in addition to) the letters and
.
We know that the Moon is
not made of cheese (), so “the Moon is not made of cheese or
” () is true. But now suppose in addition that the
Moon *were* made of cheese (). Could we now say that
()? If we did, this would
contradict what we said
above, that either the Moon is not made of cheese or
().
So we have no choice but to conclude that (). But now
notice that we started with the assumption that the Moon is made
of cheese (), and derived (),
so we have shown “if the Moon
is made of cheese, then ” (if , then )!^{2}

That was a lot of material we just covered, so it is a good time to answer some review questions to solidify your understanding:

## Why propositional logic? # ↩

Now that we’ve hopefully demystified the material conditional, let’s zoom out a bit and look at propositional logic more generally. What have we accomplished? Why should we care?

Something mathematicians love to do is to discover and talk
about recursive things like
the Fibonacci
sequence. If you reflect for a moment, you will see that
propositional logic is a striking example of recursion.
Mathematicians have been reasoning about math and writing proofs
for thousands of years, leading to many fascinating results
about numbers, geometry, and equations. But one way to view
propositional logic is that it is pointing this machinery at
itself: we are analyzing mathematical reasoning *using
mathematical reasoning*. This is like using a microscope not
to study cells, but to study microscopes themselves!

Why might we want to do this? Well, mathematicians are a weird and curious people, and delight in getting all self-referential and “meta” to see what happens. It’s also a fairly natural thought: as mathematicians, we have been reasoning in a particular way and have gotten used to it. It has become our “hammer” and we see “nails” everywhere. From this perspective, our own mathematical reasoning is itself just another mathematical object we could be analyzing using our existing “hammer”. But there are other reasons why studying mathematical reasoning using mathematical reasoning is useful. In math, we often want to find the negation of a complicated statement, or find the contrapositive of an implication, or perform some other operation. If we have the tools of propositional logic at hand, we no longer need to rely on our verbal ability to perform these manipulations. Instead, we can be on “autopilot”, simply following the formal rules of propositional logic. Once we invest in mathematically analyzing something, in a sense we get to mindlessly use that thing without having to pay too much attention to it every time.

So how does this all connect to the material conditional?
Well, by showing that the conditional statement is amenable to
being summarized by a truth table, we have brought it from the
realm of fuzzy human thought down to the realm of *mindless
computational stuff*. By doing so, we can quickly negate or
otherwise manipulate complicated expressions involving
“if …, then …” statements. This is a
powerful ability to have when writing proofs!

## Conclusion # ↩

Earlier we brought up the point that the implication seems to be both intuitive and unintuitive, and that this seems contradictory. But a little reflection shows that this sort of thing happens all the time in math. In fact, one way of thinking of math is to take things that seem awfully unintuitive or confusing, and then stare at them in just the right way so as to make them totally obvious.

It’s a fascinating fact that the conditional statement (and mathematical reasoning more generally) has such a concise formal description. We can easily imagine alternative worlds in which this was not the case, where mathematical reasoning itself is very complicated and messy even though the objects we study are simple formal systems.

I don’t want to give the impression that I’ve covered everything there is to know about conditionals—far from it. I do think that I said about as much as what an “intro to proofs” book would say on the topic, in a hopefully more convincing manner. Those interested in reading more about conditionals can find a vast literature—on the philosophical aspects, alternative conditionals. But for those who are excited to jump into proof-based mathematics (but were unconvinced by the usual explanations) (and I was like this too) I hope this essay is enough for you to be convinced that the material conditional makes sense. I sure wish I had stumbled onto this explanation much sooner. As Paul Halmos has said about set theory, now that you have read this, you can safely forget about it, in some sense (though I do hope you will continue to review the flashcards).

Here are some final review questions, covering material throughout the whole essay:

Do you have feedback for this essay? Feel free to suggest an edit or post in the discussion! You can also email me to give private feedback.

**Acknowledgments:** Thanks to Satira and Vipul Naik for comments on a
draft version of this essay. I originally wrote this essay in 2021
without really consulting any resources. In 2023, I was reading Peter
Smith’s *An Introduction to Formal Logic* (second edition) and saw
that he had a similar explanation in one part of the book
(section 22.3).
I actually liked his framing better for what I was trying to do, so I
reworked the essay to incorporate this new framing. I still think this
essay serves as a better standalone introduction to the material
conditional, since Smith’s explanation takes over 200 pages (it’s true
that not all the pages are about the material conditional, but since
the explanation is scattered around the book, one would have to read or
skim most of it to get enough context and to make sure one isn’t
missing anything). After some more looking around, I did
however later find Smith’s
“ ‘If’ and ‘’ ”
which has a fairly self-contained explanation inside the box on page 3.
(Apparently this PDF handout was
already around by 2010, back when only the first edition of the book was
written. For some reason, this explanation of the material conditional
which I consider the most intuitive was relegated to a handout and not
even included as part of the book!)
Smith’s
book also references Nicholas J. J. Smith’s *Logic: The Laws of
Truth*, which has a similar (but less rigorous) explanation in section
6.3.2 (and that same line of argument is in the first edition of Peter
Smith’s book, at the beginning of section 15.2, and also appears in
section 19.2 of the second edition).

- Somewhat technically: if is a function taking two inputs such that there exists another two-input function as well as a one-input function such that for all inputs and , then we can say that depends only on the -values of the inputs—there’s some other function that does exactly that accomplishes, but only using the -values! ↩
- You might say that in the above proof, at the step where we ask whether we could say that (), that of course we could. That is also a valid approach. If you want to continue the proof that way, we have that the Moon is made of cheese (); (); and “the Moon is not made of cheese or ” (). But the first two of these directly contradict the third. So we have a contradiction. And from a contradiction we can derive anything, including that . ↩