Formlene som er kontradiksjoner er nøyaktig de formlene som ikke er oppfyllbare. Disse formlene er usanne for alle valuasjoner og kan dermed ikke oppfylles.
Definisjon: Motsigelse/kontradiksjon
Test deg selv
Hvilke av disse formlene er kontradiksjoner?
Dette er ikke en kontradiksjon. Vi kan gjøre den sann ved å gjøre $P$ sann.
Dette er ikke en kontradiksjon. Vi kan gjøre den sann ved å gjøre $P$ sann.
Dette er ikke en kontradiksjon. Den er sann uansett hva sannhetsverdien til $P$ er.
Dette er en kontradiksjon. Den er usann uansett hva sannhetsverdien til $P$ er.
Dette er ikke en kontradiksjon. Den er sann uansett hva sannhetsverdien til $P$ er.
Dette er en kontradiksjon. Den er usann uansett hva sannhetsverdien til $P$ er, fordi $P \rightarrow P$ er en tautologi.
Dette er ikke en kontradiksjon. Vi kan gjøre den sann ved å gjøre $P$ usann.