Prädikatenlogik/Aussagenlogische Aussage/Ersetzung/Aufgabe
Erscheinungsbild
Es seien Konstanten, es sei ein zweistelliges Funktionssysmbol und es ein dreistelliges Relationssymbol. Man erläutere, wie man die prädikatenlogische Tautologie
aus einer aussagenlogischen Tautologie im Sinne von Fakt erhält.