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