Similar to 存在汎化
安定ホモトピー理論
Stable homotopy theory▼-1 trendsアンティポン
Antiphon (orator)鞍点
Saddle point▲1 trends安藤毅 (数学者)
安藤有益
アンドリカの予想
Andrica's conjectureジョージ・アンドリューズ
George Andrews (mathematician)アンの定理
Anne's theoremアンビリック・トーラス
Umbilic torusイマナント
Immanant▲1 trendsEMアルゴリズム
Expectation–maximization algorithmEKG数列
推論規則
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