Formlene som er tautologier er nøyaktig de formlene som ikke er falsifiserbare. Disse formlene er sanne for alle valuasjoner, og kan dermed ikke falsifiseres. Se forklaringen til Test deg selv-oppgaven om falsifiserbare formler for en forklaring på hvorfor disse formlene ikke kan falsifiseres.
Definisjon: Tautologi/gyldighet
Test deg selv
Hvilke av disse formlene er tautologier?
Dette er ikke en tautologi. Vi kan gjøre den usann ved å gjøre $P$ sann.
Dette er ikke en tautologi. Vi kan gjøre den usann ved å gjøre $P$ og $Q$ usanne.
Dette er tautologi fordi den er sann for alle valuasjoner.
Dette er ikke en tautologi. Den er usann uansett hva sannhetsverdien til $P$ er.
Dette er tautologi fordi den er sann for alle valuasjoner.
Dette er ikke en tautologi. Den er usann uansett hva sannhetsverdien til $P$ er.
Dette er ikke en tautologi. Vi kan gjøre den usann ved å gjøre $P$ sann.