Ein Ausdruck

${\displaystyle \alpha \in L^{V}}$

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

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

gilt.