Sannhetstabell
Tilbake til Logikk
Sannhetstabeller er et verktøy vi bruker for å få oversikt over hvordan sannhetsverdien til sammensatte påstander påvirkes av sannhetsverdiene til de individuelle påstandene.
Vi bruker slike tabeller blant annet for å verifisere at to ulike sammensatte påstander er ekvivalente.