De Morgans lover, oppsummering
Tilbake til Logikk
Mye av det vi har snakket om hittil i kurset har vært De Morgans lover. Dette er lovene som karakteriserer negasjonen av en universell påstand som en eksistensiell påstand, og motsatt. Her tar vi en oppsummering av disse lovene.