Aussagenlogik/Semantische Tautologie/Definition

Aus Wikiversity
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.