Tõeväärtustabel

Allikas: Vikipeedia
Mine navigeerimisribale Mine otsikasti

Tõeväärtustabel on lauseloogikas tabel, milles on kirjas mingi loogilise tehte tulemi tõeväärtused sõltuvalt argumentide tõeväärtustest.

Tõeväärtustabeli meetodi abil on võimalik kontrollida lauseloogika abil väljendatavate arutluste kehtivust.