Prädikatenlogik/Substitution/Ausdruck/2/Aufgabe

Es seien ${}c,d$ Konstanten einer erststufigen Sprache, ${}x,y,z,u,v,w$ Variablen (in dieser Reihenfolge), ${}f$ ein einstelliges Funktionssymbol, ${}g$ ein zweistelliges Funktionssymbol und ${}P,R$ einstellige Relationssymbole. Bestimme die Substitution

${\left(\forall y(y=c)\vee (\neg Rfz\rightarrow \exists x\neg Pu\right)}{\frac {gzz,\,\,\,\,\,c,\,\,\,\,\,fu}{x,\,\,\,\,\,\,\,\,\,y,\,\,\,\,\,\,\,\,\,z}}.$

Eine Lösung erstellen