Aussagenlogik/Variablenersetzung/Allgemeingültig/Aufgabe
Erscheinungsbild
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.