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