Från Rilpedia

Allmänt är en motsägelse en situation när två eller flera påståenden står emot

varandra och inte är förenliga. Det ena eller andra påståendet måste förkastas.

Inom logiken är en motsägelse mer precist definierat som det samtidiga påståendet av en sats och dess negation d.v.s. A ∧ ¬ A. 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 kan inte 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