De Morgan's law (English, noun)
expansion: De Morgan's law (plural De Morgan's laws)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: 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: ¬ (𝑝 ∧ 𝑞) ⇔ (¬ 𝑝) ∨ (¬ 𝑞)
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: 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: ¬ (𝑝 ∨ 𝑞) ⇔ (¬ 𝑝) ∧ (¬ 𝑞)
topics: mathematics
sciences
glosses: Either of two laws in set theory which state that:
The complement of a union is the intersection of the complements; as expressed by: (𝐴 ∪ 𝐵)′ = 𝐴′ ∩ 𝐵′
topics: mathematics
sciences
glosses: Either of two laws in set theory which state that:
The complement of an intersection is the union of the complements; as expressed by: (𝐴 ∩ 𝐵)′ = 𝐴′ ∪ 𝐵′
topics: mathematics
sciences
glosses: Any of various laws similar to De Morgan’s laws for set theory and logic; for example: ¬∀𝑥 𝑃(𝑥) ⇔ ∃𝑥 ¬𝑃(𝑥)
tags: broadly
Forms:
form: De Morgan's laws
tags: plural
form: DM
tags: alternative