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),
Semantikas kasutatakse tõeväärtustabeleid, et määrata, kuidas lausete ühendused annavad uue tõeväärtuse. Tõeväärtused ilmnevad sageli ka programmeerimises
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
Tõeväärtuste kontsptatsioon on oluline aluseks loogikale, informaatikale ja matemaatilisele semantikale, kus aidatakse formaliseerida väidete tähendus ja