Prädikatenlogik/Aussagenlogische Tautologie/Einsetzen/Fakt

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.