# Understanding the material conditional

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

## 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.

## 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:

1. 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.
2. 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.

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).

1. 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
2. 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