Aussagenlogik/Variablenersetzung/Syntaktische Tautologie/Aufgabe
Es seien Aussagenvariablen und Aussagen. Zeige, dass man, wenn man in einer syntaktischen Tautologie jedes Vorkommen von durch ersetzt, wieder eine Tautologie erhält.
Es seien
Aussagenvariablen
und
Aussagen. Zeige, dass man, wenn man in einer
syntaktischen Tautologie
jedes Vorkommen von
durch
ersetzt, wieder eine Tautologie erhält.