## Definitions

### 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:βΒ¬βπ₯ π(π₯) β βπ₯ Β¬π(π₯)

## Etymologies

### from Wiktionary, Creative Commons Attribution/Share-Alike License

Named after its

*eponym*, the British mathematician and logician Augustus De Morgan (1806β1871), who first formulated the laws in formal*propositional logic*.## Examples

Sorry, no example sentences found.

## Comments

Log in or sign up to get involved in the conversation. It's quick and easy.