sannhetsfunksjon – logikk

Et sammensatt utsagn er en sannhetsfunksjon av de delutsagn som inngår i det, når dets sannhetsverdi entydig bestemmes av sannhetsverdiene til delutsagnene. Eksempel: Konjunksjonen av to utsagn («Det er varmt og solen skinner») er sann bare hvis «Det er varmt» er sant og «Solen skinner» er sant. Hvis ett eller begge delutsagn er falske, er utsagnet som helhet falskt. Sammensatte utsagn hvor «eller», «og» og «hvis – så» er forbindelsesord, er vanligvis sannhetsfunksjoner av de delutsagn som inngår i dem.