Similar to 論理和の消去
ある数学者の生涯と弁明
A Mathematician's Apology
アルティンのL-函数
Artin L-function
アルティン・ハッセの指数関数
Artin–Hasse exponential
ミハイル・アルティン
Michael Artin
エミール・アルティン
Emil Artin
アルティン・ウェダーバーンの定理
Wedderburn–Artin theorem推論規則
Rule of inference
論理積の導入
Conjunction introductionTemplate:推論規則
Template:Transformation rules
逆
Converse (logic)
存在汎化
Existential generalization
存在例化
Existential instantiation
対偶論法
Proof by contrapositive
普遍汎化
Universal generalization普遍例化
Universal instantiation
吸収法則
Absorption law
同一性
Identity (philosophy)
パースの法則
Peirce's law排中律
Law of excluded middle
背理法
Proof by contradiction爆発律
Principle of explosion
フレーゲの定理
Frege's theorem無矛盾律
Law of noncontradiction
