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.