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.
Beispiel
- Für jede Aussage A ist: "A und nicht A" eine Kontradiktion, da die Aussage A nicht sowohl wahr als auch falsch sein kann.
Siehe auch: Logik, Tautologie, erfüllbare Aussage