tõeväärtused

Tõeväärtused on mõiste loogikas ja informaatikas, mis kirjeldab lausete või predikaatide tõeväärtust. Enamasti eristatakse kahte väärtust: tõene ja vale. Lause on tõene siis, kui see vastab tegelikkusele; vale, kui see ei vasta.

Klassikalises kaksväärtuslikus loogikas on iga lause tõeväärtus määratud kahe väärtuse kaudu. Loogilised operaatorid nagu ja (konjunktsioon), või (disjunktsioon) ja mitte (negatsioon) toimivad vastavalt tõeväärtustabelitele; nende abil saab kirjeldada lausete koostamise tulemusi. Näiteks A ja B on tõene ainult siis, kui mõlemad A ja B on tõed; A või B on tõene, kui vähemalt üks neist on tõene; mitte A on vastupidine väärtus.

Semantikas kasutatakse tõeväärtustabeleid, et määrata, kuidas lausete ühendused annavad uue tõeväärtuse. Tõeväärtused ilmnevad sageli ka programmeerimises boolean-tüübi, mille väärtused on tõene (true) või vale (false).

Mitmeväärtuslikud loogikad laiendavad standardset kahteväärtuslikku süsteemi. Kolmetõeväärtuslik loogika lisab kolmanda väärtuse (tõeväärtuste kogumi laienemine, sageli määramata või teadmatus). Sellised süsteemid on kasulikud semantilises modelleerimises, informatsiooni puudulikkuse või määramatusi korral.

Tõeväärtuste kontsptatsioon on oluline aluseks loogikale, informaatikale ja matemaatilisele semantikale, kus aidatakse formaliseerida väidete tähendus ja arvutuslikku käitumist.