Similar to 論理積の消去
アンドリカの予想
Andrica's conjectureジョージ・アンドリューズ
George Andrews (mathematician)アンの定理
Anne's theoremアンビリック・トーラス
Umbilic torusイマナント
Immanant▲1 trendsEMアルゴリズム
Expectation–maximization algorithmEKG数列
推論規則
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フレーゲの定理
Frege's theorem無矛盾律
Law of noncontradiction利用者:I.hidekazu/ルイス=トルマンの非ニュートン力学
▼-2 trends利用者:Lulusuke/Math01
利用者:NGiraffe/作業中の記事/ハイティング代数
利用者:Shogi1116/sandbox
オイラー=ラグランジュ方程式
Euler–Lagrange equation混合境界条件
Mixed boundary condition