Totuusfunktio on
matemaattisen logiikan termi, joka tarkoittaa
totuusarvon (tavallisesti
tosi tai
epätosi) antamista
väitelauseelle (propositio). Totuusfunktion tulee täyttää seuraavat
aksioomat:
- se antaa kullekin väitelauseelle totuusarvoksi joko toden tai epätoden (law of excluded middle)
- samalle väitelauseelle voidaan antaa vain yksi totuusarvo: joko tosi tai epätosi (law of contradiction)
- kaikki totuusfunktiot antavat loogisilla operaattoreilla (konnektiivi) muodostetuille yhdistetyille väitelauseille totuusarvon samalla tavalla niiden osien totuusarvojen perusteella.