Similar to 論理和の消去
アンティポン
Antiphon (orator)鞍点
Saddle point安藤毅 (数学者)
安藤有益
アンドリカの予想
Andrica's conjectureジョージ・アンドリューズ
George Andrews (mathematician)推論規則
Rule of inference論理積の導入
Conjunction introductionTemplate:推論規則
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