If X, Then Y: Sufficiency and Necessity — Khan Academy
Source: Khan Academy — LSAT prep article
Format: Educational article with worked examples (~1000 words)
Scope: Conditional statements; sufficient vs. necessary conditions; contrapositive; two classic confusions; LSAT flaw patterns
The article opens with a ping-pong game between Willie and Lola. Willie's rules name necessary conditions ("I need to hit the ball over the net in order to score"); Lola's rules name sufficient conditions ("if my returned ball goes into the net, then I lose the point"). The same game, two different logical structures — the contrast sets up the whole lesson.
The core distinction
Sufficient condition — if met, guarantees the result. But it is not the only way to produce that result; many other conditions might also be sufficient.
Necessary condition — required for the result to happen. But meeting it does not guarantee the result; other requirements may also need to be met.
Diagrammed: If X, then Y places X (sufficient) on the left and Y (necessary) on the right.
The contrapositive
"If X, then Y" is logically equivalent to "If NOT Y, then NOT X." This is the contrapositive — the only inference that can be drawn from a conditional. The article is explicit that the converse ("If Y, then X") and the inverse ("If NOT X, then NOT Y") are both invalid.
The two LSAT mistake patterns
Mistake 1 — Necessary treated as sufficient: A car needs gas to run → putting gas in means the car will run. The error: gas is one necessary condition among many, not a guarantee of the outcome.
Mistake 2 — Sufficient treated as necessary: Plagiarism would guarantee a high score → high score means plagiarism. The error: a sufficient condition explains one path to an outcome; it does not mean that path was taken. This is the affirming the consequent fallacy.
Signal word reference
| Signal language | Condition type |
|---|---|
| if / when / whenever | Sufficient |
| only if / in order to / requires / must / necessary | Necessary |
What to take forward
The ping-pong frame is memorable and worth keeping — game rules are conditional statements. The contrapositive distinction (valid) vs. converse and inverse (invalid) is this source's clearest formal contribution. The LSAT context is narrow, but the two mistake patterns are universal: both appear constantly in everyday arguments, not just standardized tests.
Cross-links
- sufficient-and-necessary-conditions — synthesized concept page
- deductive-reasoning — if-then conditionals are the engine of deductive argument
- false-cause-fallacy — Mistake 2 (sufficient treated as necessary) is the affirming-the-consequent form of false-cause reasoning