Rules of Inference Modus Ponens p =⇒ q Modus Tollens p =⇒ q
p ∼q
∴q ∴∼ p
Elimination p∨q Transitivity p =⇒ q
∼q q =⇒ r
∴p ∴ p =⇒ r
Generalization p =⇒ p ∨ q Specialization p ∧ q =⇒ p
q =⇒ p ∨ q p ∧ q =⇒ q
Conjunction p Contradiction Rule ∼ p =⇒ F
q ∴p
∴p∧q
« 2011 B.E.Shapiro for integral-table.com. This work is licensed under a Creative Commons Attribution-NonCommercial- ShareAlike 3.0 Unported License. Revised July 20, 2011.
