Augustus De Morgan: Porovnání verzí
Smazaný obsah Přidaný obsah
m r2.7.3) (Robot: Přidávám uk:Ауґустус де Морган |
m Bot: Odstranění 31 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q208448) |
||
| Řádek 36: | Řádek 36: | ||
[[Kategorie:Muži]] |
[[Kategorie:Muži]] |
||
[[Kategorie:Absolventi Cambridgeské univerzity]] |
[[Kategorie:Absolventi Cambridgeské univerzity]] |
||
[[ar:أوغست دو مورغان]] |
|||
[[az:Avqust de Morqan]] |
|||
[[bn:অগাস্টাস ডি মর্গান]] |
|||
[[ca:Augustus De Morgan]] |
|||
[[da:Augustus De Morgan]] |
|||
[[de:Augustus De Morgan]] |
|||
[[en:Augustus De Morgan]] |
|||
[[es:Augustus De Morgan]] |
|||
[[fi:Augustus De Morgan]] |
|||
[[fr:Auguste De Morgan]] |
|||
[[he:אוגוסטוס דה מורגן]] |
|||
[[ht:Augustus De Morgan]] |
|||
[[hu:Augustus De Morgan]] |
|||
[[is:Augustus De Morgan]] |
|||
[[it:Augustus De Morgan]] |
|||
[[ja:オーガスタス・ド・モルガン]] |
|||
[[ko:오거스터스 드모르간]] |
|||
[[mk:Огастес де Морган]] |
|||
[[ml:അഗസ്റ്റസ് ഡി മോർഗൻ]] |
|||
[[nl:Augustus De Morgan]] |
|||
[[nn:Augustus De Morgan]] |
|||
[[pl:Augustus De Morgan]] |
|||
[[pms:Augustus De Morgan]] |
|||
[[pt:Augustus De Morgan]] |
|||
[[ro:Augustus De Morgan]] |
|||
[[ru:Морган, Огастес де]] |
|||
[[sk:Augustus De Morgan]] |
|||
[[sl:Augustus De Morgan]] |
|||
[[sv:Augustus de Morgan]] |
|||
[[uk:Ауґустус де Морган]] |
|||
[[zh:奧古斯塔斯·德摩根]] |
|||
Verze z 15. 3. 2013, 19:58
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], 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.[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
