Transcription of Table of Logical Equivalences
1 Table of Logical EquivalencesCommutativep q q pp q q pAssociative(p q) r p (q r)(p q) r p (q r)Distributivep (q r) (p q) (p r)p (q r) (p q) (p r)Identityp T pp F pNegationp p Tp p FDouble Negative ( p) pIdempotentp p pp p pUniversal Boundp T Tp F FDe Morgan s (p q) ( p) ( q) (p q) ( p) ( q)Absorptionp (p q) pp (p q) pConditional(p= q) ( p q) (p= q) (p q)Rules of InferenceModus Ponensp= qModus Tollensp= qp q q pEliminationp qTransitivityp= q qq= r p p= rGeneralizationp= p qSpecializationp q= pq= p qp q= qConjunctionpContradiction Rule p= Fq p p q 2011 for This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike Unported License. Revised July 20, 2011.
