Aussagenlogik/Variablenersetzung/Allgemeingültig/Aufgabe

Es seien ${}p_{1},\ldots ,p_{n}$ Aussagenvariablen und ${}\beta _{1},\ldots ,\beta _{n}$ Aussagen. Zeige, dass man, wenn man in einer allgemeingültigen Aussage ${}\alpha$ jedes Vorkommen von ${}p_{i}$ durch ${}\beta _{i}$ ersetzt, wieder eine allgemeingültige Aussage erhält. Zeige, dass die Umkehrung davon nicht gilt.

Eine Lösung erstellen