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