Motsägelse

Allmänt är en motsägelse ett argument, en sats eller ett yttrande bestående av två eller flera påståenden, vilka inte alla kan vara sanna, det vill säga kontradiktoriska eller konträra.

Inom satslogiken är en motsägelse definierad som konjunktionen av ett påstående och dess negation, uttryckt med symboler, P $\land$ $\neg$ P, det vill säga en kontradiktion. Inom första ordningens predikatlogik kan man från en motsägelse härleda vad som helst, därför måste varje motsägelse betraktas som falsk. Redan Aristoteles konstaterade att: "Man inte kan säga om något, att det både finns och inte finns, i samma avseende och vid samma tidpunkt".

Se även

• Indirekt bevis
• Kontradiktion
• Tautologi