Similar to 論理積の導入
推論規則
Rule of inference選言三段論法
Disjunctive syllogism対偶論法
Proof by contrapositive二重否定の除去
モーダストレンス
Modus tollensモーダスポネンス
Modus ponens命題論理
Propositional calculus0
01
1▲1 trends2
23
34
45
56
67
78
89
912345679
数学
Mathematics0.999...
0.999...0次元
Zero-dimensional space0の0乗
Zero to the power of zero1次元
One-dimensional space1+1
1+1+1+1+…
1 + 1 + 1 + 1 + ⋯1+2+3+4+…
1 + 2 + 3 + 4 + ⋯1+2+4+8+…
1 + 2 + 4 + 8 + ⋯1の冪根
Root of unity