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

${\left(Rxcfyd\vee z=x\right)}\wedge \neg {\left(Rxcfyd\vee z=x\right)}\rightarrow {\left(\exists xfxc=d\right)}$

aus einer aussagenlogischen Tautologie im Sinne von Fakt

erhält.

Eine Lösung erstellen