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.
Kommentarer
Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.
Du må være logget inn for å kommentere.