Aussagenlogik/Semantische Tautologie/Definition

Allgemeingültig

Ein Ausdruck

$\alpha \in L^{V}$

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

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

gilt.