Similar to 論理和の消去
ジョージ・アンドリューズ
George Andrews (mathematician)アンの定理
Anne's theoremアンビリック・トーラス
Umbilic torusイマナント
Immanant▲1 trendsEMアルゴリズム
Expectation–maximization algorithmEKG数列
推論規則
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