Aussagenlogik/Semantische Kontradiktion/Definition

Kontradiktion (semantisch)

Ein Ausdruck ${}\alpha \in L^{V}$ (zu einer Menge von Aussagenvariablen ${}V$) heißt (semantische) Kontradiktion (oder Widerspruch), wenn für jede Wahrheitsbelegung ${}\lambda$ die Beziehung

${}I(\alpha )=0\,$

gilt.