Aussagenlogik/Semantische Tautologie/Definition
Allgemeingültig
Ein Ausdruck (zu einer Menge von Aussagenvariablen ) heißt allgemeingültig (oder eine semantische Tautologie,) wenn für jede Wahrheitsbelegung die Beziehung
gilt.
Ein Ausdruck
(zu einer Menge von
Aussagenvariablen
)
heißt
allgemeingültig
(oder eine semantische
Tautologie,)
wenn für jede
Wahrheitsbelegung
die Beziehung
gilt.