Similar to 論理和の消去
論理和の導入
Disjunction introduction
仮言三段論法
Hypothetical syllogism
論理積の消去
Conjunction elimination選言三段論法
Disjunctive syllogism
対偶 (論理学)
Contraposition
導出原理
Resolution (logic)
ド・モルガンの法則
De Morgan's laws
二重否定の除去
モーダストレンス
Modus tollens
モーダスポネンス
Modus ponens
0
0
1
1▲1 trends
2
2
3
3
4
4
5
5
6
6▼-1 trends
7
7
8
8
9
9
12345679
吸収法則
Absorption law
同一性
Identity (philosophy)
パースの法則
Peirce's law排中律
Law of excluded middle
背理法
Proof by contradiction爆発律
Principle of explosion
フレーゲの定理
Frege's theorem
