De Morganin lait
De Morganin lait ovat logiikan päättelysääntöjä.
tai joukko-opissa käytettynä:
missä: 
Säännöt on nimetty löytäjänsä Augustus De Morganin (1806–1871) mukaan.
formula_8 jos ja vain jos formula_14 ja formula_15.
mielivaltaiselle x:lle:
formula_16:
formula_17
formula_18
formula_19 tai formula_20
formula_21 tai formula_22
formula_23
Joten formula_14
formula_25:
formula_23
formula_21 tai formula_22
formula_19 tai formula_20
formula_18
formula_17
Joten formula_15
formula_14 ja formula_15 joten formula_36
formula_37 voidaan todistaa käyttämällä samanlaista menetelmää.