Similar to 論理積の導入
推論規則
Rule of inference論理積の消去
Conjunction elimination選言三段論法
Disjunctive syllogism対偶論法
Proof by contrapositive二重否定の除去
モーダストレンス
Modus tollensモーダスポネンス
Modus ponens命題論理
Propositional calculus真理値表
Truth table0
0▲1 trends1
12
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 + ⋯