truisme

Truisme er intetsigende sandhed. I logikken skelnes der mellem to slags truisme, analytiske sætninger og tautologier.

Analytiske sætninger er subjekt-prædikat-domme, hvor der udsiges noget om et subjekt, der allerede ligger i dets begreb, fx at ungkarle er ugifte. Tautologier er sammensatte udtryk, dvs. domme, hvori der indgår andre domme, eller udtryk indeholdende variabler for domme, og som er sande, uanset hvilken sandhedsværdi de indeholdte domme eller variablerne tilskrives, fx 'enten er det mandag eller det er ikke mandag' eller 'p∨¬p'.