Category:推論規則
ド・モルガンの法則
De Morgan's lawsモーダスポネンス
Modus ponens推論規則
Rule of inference論理和の消去
Disjunction elimination逆
Converse (logic)導出原理
Resolution (logic)普遍例化
Universal instantiationモーダストレンス
Modus tollens普遍汎化
Universal generalization二重否定の除去
対偶論法
Proof by contrapositive仮言三段論法
Hypothetical syllogism論理積の導入
Conjunction introductionTemplate:推論規則
Template:Transformation rules存在汎化
Existential generalization対偶 (論理学)
Contraposition論理和の導入
Disjunction introduction存在例化
Existential instantiation選言三段論法
Disjunctive syllogism論理積の消去
Conjunction elimination