Propositional calculus - Wikipedia, the free encyclopedia
Propositional calculus – Wikipedia, the free encyclopedia
Modus Ponens ((p → q) ∧ p) ├ q if p then q; p; therefore q
Modus Tollens ((p → q) ∧ ¬q) ├ ¬p if p then q; not q; therefore not p
Hypothetical Syllogism ((p → q) ∧ (q → r)) ├ (p → r) if p then q; if q then r; therefore, if p then r
