ternær logikk

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.

Les mer i Store norske leksikon

Kommentarer

Kommentaren din publiseres her. Fagansvarlig eller redaktør svarer når de kan.

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

eller registrer deg