Es seien p 1 , … , p n {\displaystyle {}p_{1},\ldots ,p_{n}} Aussagenvariablen und β 1 , … , β n {\displaystyle {}\beta _{1},\ldots ,\beta _{n}} Aussagen. Zeige, dass man, wenn man in einer syntaktischen Tautologie α {\displaystyle {}\alpha } jedes Vorkommen von p i {\displaystyle {}p_{i}} durch β i {\displaystyle {}\beta _{i}} ersetzt, wieder eine Tautologie erhält.
