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