Questions: Denying the Antecedent: Another Invalid Form

Question 1

A teacher says: 'If you get a perfect score, you pass the exam.' A student reasons: 'I didn't get a perfect score, so I didn't pass.' What error has the student made?

• A. None — if the sufficient condition fails, the conclusion cannot follow
• B. Denying the antecedent — the conditional only guarantees that a perfect score leads to passing, not that it is the only way to pass
• C. Modus tollens — the student correctly inferred from the negation of the antecedent
• D. Affirming the consequent — the student assumed the consequent from the antecedent's truth

Answer: (B)

The conditional 'If P then Q' says P is sufficient for Q — whenever P is true, Q is guaranteed. It says nothing about whether Q can arise from other sources. A student could pass by getting partial credit, a curve, or extra credit. Denying P (not a perfect score) removes the guarantee but does not close off Q. The student's error is treating the sufficient condition as if it were the only condition — reading the conditional as a biconditional.

Question 2

Which of the following arguments is deductively VALID?

• A. If P then Q. P is false. Therefore Q is false. [Denying the Antecedent]
• B. If P then Q. Q is false. Therefore P is false. [Modus Tollens]
• C. If P then Q. Q is true. Therefore P is true. [Affirming the Consequent]
• D. If P then Q. P is false. Therefore Q might be false. [Weak Denial]

Answer: (B)

Modus tollens is the only valid argument form in this list. If P guarantees Q, and Q is false, then P cannot be true (because if P were true, Q would have to be true). The reasoning runs backwards from the falsehood of Q to the falsehood of P. Option A is denying the antecedent (invalid); option C is affirming the consequent (invalid); option D is not a formal argument form — 'might be false' is not a deductive conclusion.

Question 3

Denying the antecedent would be valid if the premise were a biconditional ('P if and only if Q') rather than a simple conditional ('if P then Q').

• T. True
• F. False

Answer: True

A biconditional (P ↔ Q) says P and Q are each both necessary and sufficient for the other: P is true exactly when Q is true, and false exactly when Q is false. Under a biconditional, 'not-P therefore not-Q' is valid. The error of denying the antecedent arises precisely because ordinary conditionals ('if P then Q') are weaker: they only establish P as sufficient, not as necessary. Reading a conditional as a biconditional is the implicit assumption that makes the fallacy tempting.

Question 4

The argument 'If it's raining, the ground is wet. It's not raining. Therefore the ground is not wet' is a valid deductive argument.

• T. True
• F. False

Answer: False

This is a textbook case of denying the antecedent. The conditional only says rain is sufficient for wet ground — not that rain is the only possible source of moisture. The ground could be wet from a sprinkler, a burst pipe, morning dew, or a flood. Not-raining removes one guarantee of wetness, but does not eliminate all possible routes to that outcome. To validly infer 'the ground is not wet,' you would need to rule out every other source — which the conditional does not do.

Question 5

Explain the difference between a sufficient condition and a necessary condition, and how that distinction reveals why denying the antecedent is invalid.

Model answer: A sufficient condition guarantees the result: if P then Q means P's truth guarantees Q's truth. A necessary condition must be present: Q only if P means P must be true whenever Q is. 'If P then Q' establishes only sufficiency — P guarantees Q, but Q might also arise from other causes. Denying the antecedent implicitly assumes P is also necessary for Q — that without P, Q cannot occur. But the conditional makes no such claim. To validly infer not-Q from not-P, you would need P to be necessary, which requires a biconditional.

The fallacy is tempting because in everyday speech, 'if P then Q' often carries the pragmatic implication that P is the main or only route to Q. 'If you study hard, you'll pass' sounds like a description of the only viable path. But logically, it only commits to one direction: hard study → passing. The fallacy mistakes a one-way logical commitment for a two-way equivalence. Spotting it requires asking: could Q be true even without P? If yes, the argument from not-P to not-Q fails.