Category:命題論理の定理
無矛盾律
Law of noncontradiction同一性
Identity (philosophy)背理法
Proof by contradictionモーダスポネンス
Modus ponens論理和の消去
Disjunction eliminationモーダストレンス
Modus tollensフレーゲの定理
Frege's theorem論理積の消去
Conjunction elimination対偶 (論理学)
Contraposition選言三段論法
Disjunctive syllogism仮言三段論法
Hypothetical syllogism吸収法則
Absorption law論理和の導入
Disjunction introductionパースの法則
Peirce's law導出原理
Resolution (logic)二重否定の除去
排中律
Law of excluded middle爆発律
Principle of explosionド・モルガンの法則
De Morgan's laws