Stage 35 · Logic & Quantifiers

35.5.4 Disproving with a Counterexample

35.5 Simple Logical Reasoning

Point 4 of 5

35.5.4 Disproving with a Counterexample

Core idea

Want to overturn "it always holds"? One example where it fails is enough.

Module goal. Link conditions, quantifiers, and negation into reasoning — using counterexamples, the contrapositive, and proof by contradiction — and pave the way for rigorous arguments about sequences and function limits.
eastmath.com · 35.5 Simple Logical Reasoning · 35.5.4 Disproving with a Counterexample