click below
click below
Normal Size Small Size show me how
Rules of inference
| Term | Definition |
|---|---|
| Modus Ponens | p → q p ∴ q |
| Law of Syllogism | p → q q → r ∴ p → r |
| Modus Tollens | p → q ¬q ∴ ¬p |
| Disjunctive Syllogism | p ∨ q ¬p ∴ q |
| Conjunctive Simplification | p ∧ q ∴ p (or q) |
| Conjunction | p q ∴ p ∧ q |
| Proof by Cases | p ∨ q p → r q → r ∴ r |
| Disjunctive Amplification | p ∴ p ∨ q |
| Conditional Proof | p ∧ q p → (q → r) ∴ r |
| Constructive Dilemma | p → q r → s p ∨ r ∴ q ∨ s |
| Destructive Dilemma | p → q r → s ¬q ∨ ¬s ∴ ¬p ∨ ¬r |
| Contradiction | ¬p → FALSE ∴ p |