Logische Kontradiktion

Kann nie wahr sein

Basiswissen

In der Aussagenlogik ist eine Kontradiktion eine Verbindung von zwei sich widersprechenden Aussagen: ein Elektron hat immer eine Raumausdehnung und ein Elektron hat niemals eine Raumausdehnung.

Beispiele

Die Aussage p ist gleichzeitig wahr und falsch.

Egal, welche Aussagen man für p einsetzt, die obige ...

Aussageverbindung kann nie wahr werden.

Das nennt man eine logische Kontradiktion.