Augustus de Morgan



[Mórgen], *27.6.1806 (Madurai, Indie) – †18.3.1871 (Londýn), (De Morgan), britský logik a matematik, profesor univerzity v Londýně, od roku 1865 první prezident Londýnské matematické společnosti. Průkopník a systematizátor moderní formální logiky a jejího spojení s algebrou. V moderní logice jsou s jeho jménem spojovány základní logiky tříd:

1. ¬ (A Λ B) = ¬ A V ¬ B
(negace konjunkce výroků A a B je ekvivalentní disjunkci jejich negací);

2. ¬ (A V B) = ¬ A Λ ¬ B
(negace disjunkce výroků A a B je ekvivalentní konjunkci jejich negací).



Datum vytvoření: 14. 3. 2000
Datum aktualizace: 20. 8. 2020
Autor: -red-

Sdílet: Facebook Twitter



Reklama: