Similar to 普遍汎化
アレクサンドロフ拡大
Alexandroff extension
アレクサンドロフの定理
Alexandrov theorem
アレフ数
Aleph number
アレン＝カーン方程式
Allen–Cahn equation
アロンシャイン木
Aronszajn tree▲1 trends
暗号理論
Cryptography
暗黒通信団
Darkside communication group
暗算
Mental calculation
アンサンブルカルマンフィルタ
Ensemble Kalman filter
暗数
Dark figure of crime
アンスコムの例
Anscombe's quartet
安全素数
Safe prime推論規則
Rule of inference
論理和の導入
Disjunction introduction
論理和の消去
Disjunction elimination
論理積の導入
Conjunction introduction論理積の消去
Conjunction eliminationTemplate:推論規則
Template:Transformation rules
仮言三段論法
Hypothetical syllogism
逆
Converse (logic)選言三段論法
Disjunctive syllogism
対偶 (論理学)
Contraposition対偶論法
Proof by contrapositive
導出原理
Resolution (logic)
ド・モルガンの法則
De Morgan's laws
二重否定の除去
モーダストレンス
Modus tollens
モーダスポネンス
Modus ponens
