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