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.
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,Bocheński's History of Formal Logic 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.Augustus De Morgan (1806–1871) by Robert H. Orr Nicméně, tyto zákony jsou užitečné pro důkazy platnosti závěrů a pro deduktivní úlohy.
Reference
Související články De Morganovy zákony
Externí odkazy
Kategorie:Britští matematici Kategorie:Britští filozofové Kategorie:Matematici 19. století Kategorie:Filozofové 19. století Kategorie:Britští logici Kategorie:Narození v roce 1806 Kategorie:Úmrtí v roce 1871 Kategorie:Absolventi Univerzity v Cambridgi Kategorie:Muži Kategorie:Narození 27. června Kategorie:Úmrtí 18. března