Zum Inhalt springen

Prädikatenlogik/Aussagenlogische Aussage/Ersetzung/Aufgabe

Aus Wikiversity

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.