totuusarvo

Totuusarvo on kaksiarvoisessa logiikassa formaalikielen lauseen ominaisuus, joko "tosi" tai "epätosi"; totuusarvoja merkitään usein myös "t" ja "e" tai "1" ja "0". Moniarvologiikoissa totuusarvoja voi olla kolme tai useampia.