De Morgan's law
/dɨˈmɔrɡɪnzˌlɔ/
词源说明
Named after the British mathematician and logician Augustus De Morgan (1806–1871), who first formulated the laws in formal propositional logic.
释义
名词noun
- 1(mathematics, logic) Either of two laws in formal logic which state that:
- 2(mathematics) Either of two laws in set theory which state that:
- 3(mathematics, loosely) Any of various laws similar to De Morgan’s laws for set theory and logic; for example: ¬∀𝑥 𝑃(𝑥) ⇔ ∃𝑥 ¬𝑃(𝑥)