Aussagenlogik/Semantische Kontradiktion/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Kontradiktion (semantisch)

Ein Ausdruck (zu einer Menge von Aussagenvariablen ) heißt (semantische) Kontradiktion (oder Widerspruch), wenn für jede Wahrheitsbelegung die Beziehung

gilt.