Tautologi er et språklig uttrykk som bruker flere ulike ord for å si én og samme ting, noen ganger som stilistisk virkemiddel («evig og alltid»), andre ganger stilbrytende («ugift ungkar»).
I logikken kalles en logisk formel for en tautologi når formelen blir sann uansett hvilken sannhetsverdi (sann eller falsk) man tilskriver formelens enkeltutsagn.
Et klassisk eksempel på en tautologi er påstanden Alle ungkarer er ugifte, som også dermed kan regnes som et utsagn som er analytisk sant.
I dagligtale sier vi ofte at en tautologi er smør på flesk, mens i semantikken bruker man også uttrykket pleonasme. Et eksempel fra logikken er at «p eller ikke-p» er en tautologi fordi den må være sann uansett om p er sann eller falsk.
Motsatsen til en tautologi er en kontradiksjon. Formelen «p og ikke-p» er falsk uansett om p er sann eller falsk, se sannhetsfunksjon.
Moderne logikk har metoder til å avgjøre på mekanisk vis om en formel i en kalkyle er en tautologi eller en kontradiksjon.
Kommentarer
Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.
Du må være logget inn for å kommentere.