Ternær logikk, også kalt treverdig logikk, er en gren av formal logikk som i tillegg til den binære logikks «sann» og «usann» har en tredje sannhetsverdi, som ofte tolkes som «kanskje sann kanskje usann» eller «ukjent».

Viktige bidrag til utviklingen av en ternær logikk er gitt av Warszawaskolen og den amerikanske filosofen Clarence Irving Lewis.

Ternær logikk er en generalisering av den klassiske binære utsagnslogikk i den forstand at ethvert utsagn som er sant etter reglene for binær logikk også er sant i ternær logikk, og det samme for usanne utsagn.

Innen informatikk har ternær logikk betydning blant annet ved at spørrespråk anvender en treverdig logikk i behandlingen av NULL-verdier.

Foreslå endringer i tekst

Foreslå bilder til artikkelen

Kommentarer

Har du spørsmål om artikkelen? Skriv her, så får du svar fra fagansvarlig eller redaktør.

Du må være logget inn for å kommentere.