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