Tõeväärtustabel
Allikas: Vikipeedia
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.
