Aussagenlogik/Semantische Tautologie/Definition
Zur Navigation springen
Zur Suche springen
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.