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