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