from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. Either of two laws in formal logic which state that:
- n. Either of two laws in set theory which state that:
- n. Any of various laws similar to De Morgan’s laws for set theory and logic; for example: ¬∀𝑥 𝑃(𝑥) ⇔ ∃𝑥 ¬𝑃(𝑥)
Named after its eponym, the British mathematician and logician Augustus De Morgan (1806–1871), who first formulated the laws in formal propositional logic. (Wiktionary)
Sorry, no example sentences found.
Wordnik is becoming a not-for-profit! Read our announcement here.