Kontradiktion
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".
Se även
Källor
- Geoffrey Hunter, Metalogic, An Introduction to the Metatheory of Standard First-Order Logic, MacMillan, London 1971.
🔥 Top keywords: Portal:HuvudsidaSpecial:SökNya KaledonienTaylor SwiftRobert FicoMalin Persson GiolitoSpecial:Senaste ändringarVittorio De SicaKazakstanSlovakienPingstYasukeRichard TurpinAlice Teodorescu MåweMarika Domanski LyforsSverigeCéline DionRené HiguitaGunilla von PlatenGökBålgetingBathina PhilipsonTidöavtaletOpinionsundersökningar inför riksdagsvalet i Sverige 2026Micael DahlenLedamöter av Europaparlamentet från Sverige 2019–2024Saab EV-1Eurovision Song Contest 202416 majBaby ReindeerJonas SjöstedtNakbaHenrik MåweKategori:Kristna martyrerFlockblommiga växterAce of BaseHans WahlgrenPablo Leiva WengerUlf Lyfors