Discrete Mathematics Logic and Proof Reference
By Dr. Iris Vaughan, Mathematics Editor·Published 1 December 2025·Last reviewed 5 February 2026
Truth tables for standard connectives, logical equivalences, proof methods (direct, contradiction, contrapositive, induction), and quantifier notation.
Key Formulas
Negation
Conjunction
Disjunction
Implication (p→q ≡ ¬p∨q)
Biconditional
De Morgan: ¬(p∧q)≡¬p∨¬q
Proof methods: direct, contradiction (assume ¬q), contrapositive (¬q→¬p), induction
Download Printable PDF
Get this cheat sheet formatted for A4 or US Letter printing — no ads, clean layout, exam-ready. $9 via Gumroad.
View in Shop