Prädikatenlogik/Aussagenlogische Aussage/Ersetzung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.
Eine Lösung erstellen