Kontradiktion
Eine Kontradiktion oder auch Widerspruch ist eine Aussage der Aussagenlogik, die immer falsch ist. Mit anderen Worten, eine Kontradiktion ist eine Aussage, die immer den Wahrheitswert falsch annimmt, unabhängig davon, wie die Variablen in der Aussage belegt sind.
Beispiele
- Für jede Aussage A ist: "A und nicht A" eine Kontradiktion, da die Aussage A nicht sowohl wahr als auch falsch sein kann.
- Ich bin ein Lügner ist eine kontradikte Aussage, denn wenn die Aussage des Lügners wahr ist sie gelogen.
Ist der Satz für sämtliche Wahrheitsmöglichkeiten falsch, sind die Wahrheitsbedingungen kontradiktorisch. (Wittgenstein. Tractatus. 4.46)
Siehe auch: Logik, Tautologie (Logik), erfüllbare Aussage