Prädikatenlogik/Aussagenlogische Tautologie/Einsetzen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine in den Aussagenvariablen formulierte aussagenlogische Tautologie und es seien prädikatenlogische Ausdrücke über einem Symbolalphabet .

Dann ist auch der prädikatenlogische Ausdruck , der entsteht, wenn man in jedes Auftreten der Aussagenvariablen durch ersetzt, eine prädikatenlogische Tautologie.

Zum Beweis, Alternativen Beweis erstellen