Similar to 対偶論法
ロジャー・アルペリン
Roger C. Alperin
レオン・バッティスタ・アルベルティ
Leon Battista Albertiアルマゲスト
Almagest
ステファニー・ブリュースター・ブリューワー・テイラー・アレクサンダー
Stephanie B. Alexander
アレクサンダー多項式
Alexander polynomial
アレクサンダーの角付き球面
Alexander horned sphere
アレクサンダーの定理
Alexander's theorem
アレクサンドリアのメネラウス
Menelaus of Alexandria
アレクサンドル・グロタンディークが考えたこと
List of things named after Alexander Grothendieck
パヴェル・アレクサンドロフ
Pavel Alexandrov
アレクサンドロフ拡大
Alexandroff extension
論理和の導入
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▲1 trends
二重否定の除去
普遍汎化
Universal generalization普遍例化
Universal instantiation
モーダストレンス
Modus tollens
モーダスポネンス
Modus ponens
