Next: Equivalence Rules, Up: Rules Index [Contents]
The premises of any of these rules can be in any order.
| • mp: | Modus Ponens | |
| • ad: | Addition | |
| • sm: | Simplification | |
| • cn: | Conjunction | |
| • hs: | Hypothetical Syllogism | |
| • ds: | Disjunctive Syllogism | |
| • ex: | Excluded Middle | |
| • cd: | Constructive Dilemma |