De Morgan's law
短语发音
词形变化
别名
释义与例句
-
1.
Either of two laws in formal logic which state that:
The negation of a conjunction is the disjunction of the negations; expressed in propositional logic as: ¬ (𝑝 ∧ 𝑞) ⇔ (¬ 𝑝) ∨ (¬ 𝑞)
数学 哲学 -
2.
Either of two laws in formal logic which state that:
The negation of a disjunction is the conjunction of the negations; expressed in propositional logic as: ¬ (𝑝 ∨ 𝑞) ⇔ (¬ 𝑝) ∧ (¬ 𝑞)
数学 哲学 -
3.
Either of two laws in set theory which state that:
The complement of a union is the intersection of the complements; as expressed by: (𝐴 ∪ 𝐵)′ = 𝐴′ ∩ 𝐵′
数学 -
4.
Either of two laws in set theory which state that:
The complement of an intersection is the union of the complements; as expressed by: (𝐴 ∩ 𝐵)′ = 𝐴′ ∪ 𝐵′
数学 -
5.
Any of various laws similar to De Morgan’s laws for set theory and logic; for example: ¬∀𝑥 𝑃(𝑥) ⇔ ∃𝑥 ¬𝑃(𝑥)
数学
词源
Named after the British mathematician and logician Augustus De Morgan (1806–1871), who first formulated the laws in formal propositional logic.
来源：wiktionary