Augustus De Morgan
| Augustus De Morgan | |
|---|---|
 | |
| Narození | 27. června 1806 Madurai, Indie |
| Úmrtí | 6. listopad 1871 Londýn, Anglie |
| Alma mater | Trinity College Univerzita v Cambridgi |
| Povolání | matematik, filozof, vysokoškolský učitel, advokát a logik |
| Zaměstnavatel | University College London |
| Choť | Sophia Elizabeth De Morgan[1] |
| Děti | George De Morgan[1] William De Morgan[1] Mary De Morgan[1] |
| Podpis |  |
 multimediální obsah na Commons | |
| Některá data mohou pocházet z datové položky. | |
Augustus De Morgan (27. června 1806, Madurai, Indie - 6. listopadu 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 algebrarickou 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 byly známy už ve starém Řecku a ve středověku[2], 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.[3] Nicméně, tyto zákony jsou užitečné pro důkazy platnosti závěrů a pro deduktivní úlohy.
