Similar to モーダストレンス
モーダスポネンス
Modus ponens選言三段論法
Disjunctive syllogism二重否定の除去
Q.E.D.
Q.E.D.論理和の導入
Disjunction introduction論理和の消去
Disjunction elimination論理積の導入
Conjunction introduction論理積の消去
Conjunction elimination仮言三段論法
Hypothetical syllogism対偶 (論理学)
Contraposition導出原理
Resolution (logic)ド・モルガンの法則
De Morgan's laws▲1 trends同一性
Identity (philosophy)排中律
Law of excluded middle無矛盾律
Law of noncontradiction0
01
1▲1 trends2
23
34
45
56
67
78
89
912345679
数学
Mathematics0.999...
0.999...