Augustus De Morgan: Porovnání verzí

Přidáno 148 bajtů ,  před 11 lety
m
pahýl, kategorie
m (pahýl, kategorie)
}}
 
'''Augustus De Morgan''' ([[1806]] -[[1871]]) byl britský [[matematik]], který představil formální verze zákonů v klasické [[výroková logika|výrokové logice]]. De Morganův zápis byl ovlivněn algebrarickou logikou vymyšlenou [[George Boole|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ž [[Aristotelés|Aristotelem]] a byly známy už ve [[starověké Řecko|starém Řecku]] a ve středověku<ref>Bocheński's ''History of Formal Logic''</ref>, DeMorgan jim dodal klasickou formu a zavedl tím matematickou řeč do matematické logiky. DeMorganovy zákony jsoou lehce dokazatelné a mohou se jevit triviálními.<ref>[http://www.engr.iupui.edu/~orr/webpages/cpt120/mathbios/ademo.htm Augustus De Morgan (1806 -1871)] by Robert H. Orr</ref> Nicméně, tyto zákony jsou užitečné pro důkazy platnosti závěrů a pro deduktivní úlohy.
 
 
<references/>
 
{{Pahýl - biografiematematik}}
 
{{DEFAULTSORT:Morgan, Augustus De}}
[[Kategorie:Narození 1806]]
[[Kategorie:úmrtí 1871]]
[[Kategorie:Britští matematici]]
[[Kategorie:Britští filozofové]]
[[Kategorie:Matematici 19. století]]
[[Kategorie:Filosofové 19. století]]
[[Kategorie:Britští logici]]
[[Kategorie:Narození 1806]]
[[Kategorie:úmrtíÚmrtí 1871]]
 
[[ar:أوغست دو مورغان]]