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