Kontradiktion

Härledningsbegrepp
	Medför - Följer av; Bevis – Bevisbarhet; Giltig - Giltighet; Sund - Sundhet; Konsekvent - Konsekvens; Fullständig – Fullständighet; Teorem; Tautologi; Kontradiktion; Konträra satser; Deduktion - Härledbarhet;
Närliggande begrepp
	Implikation; Logisk sanning; Sanning; Motsägelse;
	Denna tabell: visa • redigera

Deduktion
	Tautologi \| Kontradiktion; Sann \| Giltig \| Sund
Modallogik
	Logisk sanning \| Logisk omöjlighet; Nödvändighet \| Möjlighet
	Denna tabell: visa • redigera

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 $\land$ $\neg$ 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[redigera | redigera wikitext]

Källor[redigera | redigera wikitext]

Geoffrey Hunter, Metalogic, An Introduction to the Metatheory of Standard First-Order Logic, MacMillan, London 1971.