Augustus De Morgan

Augustus De Morgan (27. června 1806, Madurai, Indie – 18. března 1871, Londýn) byl britský matematik, který představil formální verze zákonů v klasické výrokové logice.

Augustus De Morgan
Narození	27. června 1806 Madurai
Úmrtí	18. března 1871 (ve věku 64 let) Londýn
Místo pohřbení	Kensal Green (51°31′43″ s. š., 0°13′27″ z. d.)
Alma mater	Trinity College (1823–1826) Lincoln's Inn (1826–1827)
Povolání	matematik, filozof, vysokoškolský učitel, advokát a logik
Zaměstnavatelé	Univerzitní kolej v Londýně (1828–1831) Univerzitní kolej v Londýně (1836–1866)
Choť	Sophia Elizabeth De Morgan[1]
Děti	George De Morgan[1] William De Morgan[1] Mary De Morgan[1]
Příbuzní	Campbell Greig De Morgan[2] (bratr)
Funkce	předseda (London Mathematical Society; 1865–1866)
Podpis
multimediální obsah na Commons
Některá data mohou pocházet z datové položky.

De Morganův zápis byl ovlivněn algebraickou logikou vymyšlenou Georgem Boolem, který se později přihlásil o část zásluh na těchto logických zákonech. Ačkoliv byla podobná pozorování zapsána již Aristotelem a byla známa už ve starém Řecku a ve středověku^[3], De Morgan jim dodal klasickou formu a zavedl tím matematickou řeč do matematické logiky. De Morganovy zákony jsou lehce dokazatelné a mohou se jevit triviálními.^[4] Nicméně, tyto zákony jsou užitečné pro důkazy platnosti závěrů a pro deduktivní úlohy.