tautologi – logikk

En logisk formel som er sammensatt av minst to enklere utsagn, er en tautologi når formelen blir sann uansett hvilken sannhetsverdi (sann el. falsk) man tilskriver formelens enkeltutsagn. Således er «p eller ikke-p» 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.