Augustus De Morgan var en britisk matematiker og logiker. Han studerede i Cambridge og var fra 1828 professor i London. Han reformerede den aristoteliske logik og lagde bl.a. i bogen Formal Logic (1847) grunden til prædikatslogikken. I denne forbindelse formulerede han de love, der er opkaldt efter ham. De Morgan skrev mange bøger og artikler om matematik og tilgrænsende emner og var den første præsident for London Mathematical Society.
Augustus De Morgan
Faktaboks
Augustus De Morgan
- Født
- 27. juni 1806
- Død
- 18. marts 1871
De Morgans love
er betegnelsen for to udsagnslogiske love. Den ene siger, at negationen af en konjunktion af to udsagn er ækvivalent med disjunktionen af negationerne af de to udsagn. Hvis fx det er falsk, at Peter både har evner for sprog og for matematik, så siges det samme, når det hævdes, at han enten ingen evner har for sprog eller ingen evner har for matematik eller ikke har evner for nogen af delene. Det skrives i formel notation: \(\neg(p\land q) \Leftrightarrow (\neg p \lor \neg q)\).
Den anden siger tilsvarende, at negationen af disjunktionen af to udsagn er ækvivalent med konjunktionen af negationerne af de to udsagn. Hvis fx det er falsk, at Peter enten har fuldskæg eller overskæg, så er det sandt, at han både intet fuldskæg har og intet overskæg har. I formel notation skrives det \(\neg (p\lor q) \Leftrightarrow(\neg p \land \neg q)\).
De Morgans formler
er formler om komplementærmængden til en fællesmængde hhv. foreningsmængde, se mængdealgebra.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.