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