Next:
Equivalence Rules
, Up:
Rules Index
6.1 Inference Rules
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