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".
Deduktion |
---|
Sann | Giltig | Sund |
Modallogik |
Nödvändighet | Möjlighet |
Härledningsbegrepp |
---|
Närliggande begrepp |
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".
This article uses material from the Wikipedia Svenska article Kontradiktion, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Innehållet är tillgängligt under CC BY-SA 4.0 om ingenting annat anges. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Svenska (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.