Proof Examples & Techniques

Math for CS · Axiom Academy

Study complete proofs and test your understanding Claim: For any integer n, if n is odd, then n² is odd. Claim: If m is even and n is any integer, then mn is even. Claim: For any integer a, if a² is even, then a is even. Strategy: We'll prove the contrapositive: if a is odd, then a² is odd. Claim: If r and s are rational numbers, then r + s is rational.

This is the written version of the interactive lesson above. See the full Math for CS course.