Similar to 論理積の導入
安定写像
Stable map安定性理論
Stability theory安定多様体
Stable manifold安定分布
Stable distribution安定ホモトピー理論
Stable homotopy theory▼-1 trends論理和の導入
Disjunction introduction論理和の消去
Disjunction eliminationTemplate:推論規則
Template:Transformation rules仮言三段論法
Hypothetical syllogism逆
Converse (logic)存在汎化
Existential generalization存在例化
Existential instantiation対偶 (論理学)
Contraposition導出原理
Resolution (logic)ド・モルガンの法則
De Morgan's laws普遍汎化
Universal generalization普遍例化
Universal instantiation恒真式
Tautology (logic)中間論理
Intermediate logic論理演算
Logical connective古典論理
Classical logic述語論理
Predicate logic同一性
Identity (philosophy)排中律
Law of excluded middle無矛盾律
Law of noncontradiction利用者:I.hidekazu/ルイス=トルマンの非ニュートン力学
▼-2 trends利用者:Lulusuke/Math01
オイラー=ラグランジュ方程式
Euler–Lagrange equation