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