35.5.3 First Steps in Proof by Contradiction
Core ideaPretend the conclusion is false: derive a contradiction, which shows the conclusion had to hold all along.
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.