Similar to 推論規則
仮言三段論法
Hypothetical syllogism
逆
Converse (logic)選言三段論法
Disjunctive syllogism
存在汎化
Existential generalization
存在例化
Existential instantiation
対偶 (論理学)
Contraposition
導出原理
Resolution (logic)
ド・モルガンの法則
De Morgan's laws
二重否定の除去
普遍汎化
Universal generalization普遍例化
Universal instantiation
モーダストレンス
Modus tollens
モーダスポネンス
Modus ponens
形式体系
Formal system構成規則
Formation rule
公理図式
Axiom schema
第一原理
First principleラムダ計算
Lambda calculus
命題論理
Propositional calculus
真理値表
Truth table
中間論理
Intermediate logic
論理演算
Logical connective
