Similar to 対偶論法
ワリード・アルサラム
Waleed Al-Salam
アルス・マグナ (カルダーノの著書)
Ars Magna (Cardano book)
ある数学者の生涯と弁明
A Mathematician's Apology
アルティンのL-函数
Artin L-function
アルティン・ハッセの指数関数
Artin–Hasse exponential
ミハイル・アルティン
Michael Artin
エミール・アルティン
Emil Artin
アルティン・ウェダーバーンの定理
Wedderburn–Artin theoremアルティン加群
Artinian moduleアルティン環
Artinian ring
アルティン・シュライアー理論
Artin–Schreier theory
論理和の導入
Disjunction introduction
論理和の消去
Disjunction elimination論理積の消去
Conjunction eliminationTemplate:推論規則
Template:Transformation rules
仮言三段論法
Hypothetical syllogism
逆
Converse (logic)選言三段論法
Disjunctive syllogism
存在汎化
Existential generalization
存在例化
Existential instantiation
対偶 (論理学)
Contraposition
導出原理
Resolution (logic)
ド・モルガンの法則
De Morgan's laws
二重否定の除去
普遍汎化
Universal generalization普遍例化
Universal instantiation
モーダストレンス
Modus tollens
モーダスポネンス
Modus ponens
