Ein Ausdruck

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

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

${\displaystyle {}I^{\lambda }(\alpha )=1\,}$

gilt.