Zum Inhalt springen

Aussagenlogik/Variablenersetzung/Allgemeingültig/Aufgabe

Aus Wikiversity

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.