Types of proofs: Mathematical Induction Proof by contradiction Contrapositive Proof: prove p⟹q by proving ¬q⟹¬p