Similar to 論理積の消去
アルス・マグナ (カルダーノの著書)
Ars Magna (Cardano book)
ある数学者の生涯と弁明
A Mathematician's Apology
アルティンのL-函数
Artin L-function
アルティン・ハッセの指数関数
Artin–Hasse exponential
ミハイル・アルティン
Michael Artin
エミール・アルティン
Emil Artin
アルティン・ウェダーバーンの定理
Wedderburn–Artin theorem推論規則
Rule of inferenceTemplate:推論規則
Template:Transformation rules
逆
Converse (logic)
存在汎化
Existential generalization
存在例化
Existential instantiation
対偶論法
Proof by contrapositive
普遍汎化
Universal generalization普遍例化
Universal instantiation
吸収法則
Absorption law
同一性
Identity (philosophy)
パースの法則
Peirce's law排中律
Law of excluded middle
背理法
Proof by contradiction爆発律
Principle of explosion
フレーゲの定理
Frege's theorem無矛盾律
Law of noncontradiction
HSV色空間
HSV color space
利用者:I.hidekazu/ルイス＝トルマンの非ニュートン力学
▼-2 trends
利用者:Lulusuke/Math01
ウィルティンガーの微分
Wirtinger derivatives
オイラー＝ラグランジュ方程式
Euler–Lagrange equation
