Kontradiktion. Två påståenden är kontradiktoriska, om de av logiska grunder inte båda kan vara sanna och ej heller båda falska. I formella system som satslogik och predikatlogik, är en kontradiktion en formel, som är falsk oberoende av dess variablers sanningsvärden, exempelvis satsen: P P, det vill säga: P och icke P. Symbolen för kontradiktion är ⊥ och kallas "falsum".
Ett exempel på två kontradiktoriska påståenden är: "Några svanar är vita" och "Ingen svan är vit".
Begreppet konträr har inte samma betydelse som begreppet kontradiktorisk. Två påståenden är konträra, om de av logiska grunder inte båda kan vara sanna, men båda vara falska. Exempelvis : "Alla svanar är vita" och "Ingen svan är vit".
Se även Reductio ad absurdum-regeln Logiska kvadraten Motsägelse Konträra satser Tautologi (logik) Paradox
Källor Geoffrey Hunter, Metalogic, An Introduction to the Metatheory of Standard First-Order Logic, MacMillan, London 1971.
Kategori:Metalogik Kategori:Härledningsbegrepp
de:Kontradiktion