Augustus De Morgan: Porovnání verzí
Smazaný obsah Přidaný obsah
m sjednocení pahýlů na jednotnou šablonu {{Pahýl}} dle Wikipedie:Žádost o komentář/Šablony pahýlů |
m napřímení redirectu šablony (data od Dannyho B.); kosmetické úpravy |
||
Řádek 1: | Řádek 1: | ||
{{Infobox |
{{Infobox Osoba |
||
|jméno=August |
|jméno=August |
||
|příjmení=De Morgan |
|příjmení=De Morgan |
||
Řádek 20: | Řádek 20: | ||
== Reference == |
== Reference == |
||
<references/> |
<references /> |
||
{{Pahýl}} |
{{Pahýl}} |
Verze z 11. 4. 2012, 11:52
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[1], DeMorgan jim dodal klasickou formu a zavedl tím matematickou řeč do matematické logiky. DeMorganovy zákony jsou lehce dokazatelné a mohou se jevit triviálními.[2] Nicméně, tyto zákony jsou užitečné pro důkazy platnosti závěrů a pro deduktivní úlohy.
Související články
Reference
- ↑ Bocheński's History of Formal Logic
- ↑ Augustus De Morgan (1806 -1871) by Robert H. Orr