Denying the consequent

If the bakery is open, its lights are on. Its lights are off. So the bakery isn’t open.

In “if P, then Q”, P is called the antecedent (the “if” part) and Q the consequent (the “then” part). Modus tollens denies the consequent (Q is false) and concludes that the antecedent is false too.

Here’s the same conditional with the other half denied:

If the bakery is open, its lights are on. The bakery isn’t open. So its lights are off.

This one is invalid. The bakers could be inside before opening time with every light on, and then both premises are true while the conclusion is false. That’s the fallacy of Denying the antecedent.

The two arguments both deny something, so they’re easy to mix up. What separates them is which half gets denied:

• “If P, then Q” rules out exactly one situation: P true and Q false.
• If you know Q is false, the only way P could be true is that ruled-out situation. So P is false. That’s modus tollens.
• If you know P is false, the conditional has nothing to say. Q could go either way. That’s why denying the antecedent fails.

Another way to see it: “if P, then Q” means the same as its contrapositive, “if not Q, then not P”. Modus tollens is just modus ponens applied to the contrapositive. “If not P, then not Q” is a different statement that doesn’t follow from the original.

Although the two forms are equally valid, people accept modus tollens less readily than modus ponens. A meta-analysis of studies using abstract materials found that participants accepted modus ponens almost every time, but modus tollens noticeably less often. Researchers still debate why. Either way, a modus tollens that feels shaky may be perfectly valid, and one that feels obvious may really be denying the antecedent, so check which half was denied.

A valid argument only guarantees its conclusion if its premises are true.

If a restaurant’s food is excellent, it has a line out the door. This restaurant has no line. So its food isn’t excellent.

That’s a correct modus tollens, but the first premise is false: a restaurant can serve excellent food and still have no line because it’s new, hard to find or takes reservations. The form is fine; the conditional has exceptions. Modus tollens is only as reliable as the “if P, then Q” it starts from, so when an argument has this shape, check whether Q really always follows P. For more on the difference, see Valid vs. true.

Four forms that look similar. Two are valid, two are not.

The valid forms affirm the antecedent or deny the consequent. The invalid ones do the reverse.