Master mathematical proof through 18 interactive demonstrations.
See also: Logic for the formal validity behind every accepted argument, Set Theory for structural induction and well-founded recursion, and Real Analysis for the rigorous epsilon-delta proofs that define the field.
Prove P → Q by assuming P and logically deriving Q step by step
If n+1 pigeons fly into n holes, at least one hole has 2+ pigeons
Prove infinite statements using the domino effect
Every non-empty set of positive integers has a smallest element
Prove statements by showing their negation leads to impossibility
Prove P → Q by proving the equivalent ¬Q → ¬P