Prädikatenlogik/Aussagenlogische Aussage/Ersetzung/Aufgabe

Es seien $c,d$ Konstanten, es sei $f$ ein zweistelliges Funktionssysmbol und es $R$ ein dreistelliges Relationssymbol. Man erläutere, wie man die prädikatenlogische Tautologie

$(Rxcfyd\vee z=x)\wedge \mathrm{\neg }(Rxcfyd\vee z=x)\to (\mathrm{\exists }xfxc=d)$

aus einer aussagenlogischen Tautologie im Sinne von Fakt erhält.

Eine Lösung erstellen