Kontradiktion

Kontradiktion Definition

Eine Kontradiktion in der Aussagenlogik ist eine verknüpfte Aussage, die immer falsch ist.

Kontradiktion bedeutet wörtlich Gegenrede oder Widerspruch; letzteres trifft es ganz gut, eine kontradiktorische Aussage ist ein Widerspruch in sich.

Das Gegenstück zur Kontradiktion ist die Tautologie (eine verknüpfte Aussage, die immer wahr ist).

Beispiel

Beispiel: Kontradiktion

"Es schneit und es schneit nicht.": dies besteht aus zwei verknüpften Aussagen: 1) "Es schneit." und 2) "Es schneit nicht.".

Wenn es wirklich schneit, ist die erste Aussage wahr, die zweite Aussage ist falsch und die verknüpfte Aussage ist aufgrund der "Und"-Verknüpfung falsch (mit einer "Oder"-Verknüpfung wäre sie wahr).

Wenn es nicht schneit, ist die erste Aussage falsch, die zweite Aussage ist wahr und die "Und"-verknüpfte Aussage ist falsch.

Das heißt, egal, ob es schneit oder nicht – die verknüpfte Aussage ist immer falsch und damit eine Kontradiktion.