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