totuusfunktio

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.