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.