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.