Aussagenlogik/Variablenersetzung/Allgemeingültig/Aufgabe

Es seien Aussagenvariablen

und Aussagen. Zeige, dass man, wenn man in einer allgemeingültigen Aussage jedes Vorkommen von durch ersetzt, wieder eine allgemeingültige Aussage erhält. Zeige, dass die Umkehrung davon nicht gilt.