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'.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.