Tõeväärtustabel

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.

Kategooria:Loogika