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

• Die Aussage B:=?A und nicht A? ist eine Kontradiktion, da B unabhängig von der Belegung von A immer den Wahrheitswert nicht wahr annimmt.
• Ich bin ein Lügner ist eine kontradikte Aussage, denn wenn die Aussage des Lügners wahr ist, ist sie gelogen.

Ist der Satz für sämtliche Wahrheitsmöglichkeiten falsch, sind die Wahrheitsbedingungen kontradiktorisch. (Ludwig Wittgenstein. Tractatus Logico-Philosophicus. 4.46)

Siehe auch: Logik, Tautologie (Logik), erfüllbare Aussage, Paradoxon des Epimenides