Master mathematical proof through 20 interactive demonstrations.
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
Practice problems and test your proof technique knowledge