Aussagenlogische Tautologie/Prädikatenlogische Ersetzung/Allgemeingültig/Aufgabe

Aus Wikiversity
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.
Eine Lösung erstellen