Next: , Up: Rules Index [Contents]

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

AltStyle によって変換されたページ (->オリジナル) /