Aussagenlogische Tautologie/Prädikatenlogische Ersetzung/Allgemeingültig/Aufgabe
Zur Navigation springen
Zur Suche springen
Es seien Aussagenvariablen und prädikatenlogische Ausdrücke. Zeige, dass man, wenn man in einer allgemeingültigen aussagenlogischen Aussage , in dem keine weiteren Aussagenvariablen vorkommen, jedes Vorkommen von durch ersetzt, einen allgemeingültigen
prädikatenlogischen Ausdruck erhält.