Similar to 論理和の導入
論理和の消去
Disjunction elimination論理積の消去
Conjunction elimination
仮言三段論法
Hypothetical syllogism選言三段論法
Disjunctive syllogism
対偶 (論理学)
Contraposition
導出原理
Resolution (logic)
ド・モルガンの法則
De Morgan's laws
二重否定の除去
モーダストレンス
Modus tollens
モーダスポネンス
Modus ponens
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9▲1 trends
12345679
矛盾許容論理
Paraconsistent logic
適切さの論理
Relevance logic
グレアム・プリースト
Graham Priest
分配法則
Distributive property
ジャン＝イヴ・ベジオ
Jean-Yves Béziau
数学
Mathematics
0.999...
0.999...
