Similar to 二重否定の除去
選言三段論法
Disjunctive syllogism
モーダストレンス
Modus tollens
モーダスポネンス
Modus ponens
論理和の導入
Disjunction introduction
仮言三段論法
Hypothetical syllogism
論理和の消去
Disjunction elimination論理積の消去
Conjunction elimination
対偶 (論理学)
Contraposition
同一性
Identity (philosophy)
導出原理
Resolution (logic)
ド・モルガンの法則
De Morgan's laws排中律
Law of excluded middle
背理法
Proof by contradiction爆発律
Principle of explosion無矛盾律
Law of noncontradiction
論理積の導入
Conjunction introduction
逆
Converse (logic)
FNSソフト工場
TV-DOS
.32ACP弾
.32 ACP
第1空母航空団 (アメリカ海軍)
Carrier Air Wing One
第1軍 (韓国陸軍)
第1軍団 (韓国陸軍)
I Corps (South Korea)
第1歩兵師団 (韓国陸軍)
1st Infantry Division (South Korea)第2軍 (韓国陸軍)
第2迅速対応師団
第2歩兵師団 (韓国陸軍)
2nd Quick Response Division (South Korea)第3軍 (韓国陸軍)
3rd Army (South Korea)
