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推論規則
Rule of inferenceTemplate:推論規則
Template:Transformation rules
逆
Converse (logic)
存在汎化
Existential generalization
存在例化
Existential instantiation
対偶論法
Proof by contrapositive
普遍汎化
Universal generalization普遍例化
Universal instantiation
吸収法則
Absorption law
パースの法則
Peirce's law
背理法
Proof by contradiction
フレーゲの定理
Frege's theorem
古典論理
Classical logic
述語論理
Predicate logic
命題論理
Propositional logic
三段論法
Syllogism
オルガノン
Organon