Table of Logical Equivalences

Commutative Associative Distributive Identity Negation Double Negative Idempotent Universal Bound De Morgans Absorption Conditional p q q p (p q ) r p (q r) p (q r) (p q ) (p r) p T p p p T ( p) p p p p p T T (p q ) ( p) ( q ) p (p q ) p (p = q ) ( p q ) p p p p F F (p q ) ( p) ( q ) p (p q ) p (p = q ) (p q ) p q q p (p q ) r p (q r) p (q r) (p q ) (p r) p F p p p F

Rules of Inference
Modus Ponens p = q p q Elimination pq q p Generalization p = p q q = p q Conjunction p q pq Contradiction Rule Specialization Transitivity Modus Tollens p = q q p p = q q = r p = r p q = p p q = q p = F p

2011 B.E.Shapiro for integral-table.com. This work is licensed under a Creative Commons Attribution-NonCommercialShareAlike 3.0 Unported License. Revised July 20, 2011.