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.