Tõeväärtus

Tõeväärtus on loogikas väärtus, mis iseloomustab propositsiooni suhet tõesse.

Klassikaline loogika eeldab kahte tõeväärtust (tõene ja väär); see vastab bivalentsi printsiibile.

Intuitsionistlik loogika ja mitmevalentne loogika (sealhulgas hägusloogika) kasutavad rohkemaid erinevaid tõeväärtusi.

Keelefilosoofias lause tõeväärtus sõltub lause tähendusest või maailma olukorrast. Tõeväärtus ei esinda otseselt ühtegi tõeteooriat.

Vaata ka
tõeväärtus (andmetüüp)
tõeväärtustabel
tõesus ja väärus
tõene ja väär

Kategooria:Loogika