Prädikatenlogik/Substitution/Ausdruck/1/Aufgabe

Es sei ${}c$ eine Konstante einer erststufigen Sprache, ${}x,y,z,u$ Variablen, ${}f$ ein einstelliges Funktionssymbol, ${}g,h$ zweistellige Funktionssymbole und ${}R$ ein zweistelliges Relationssymbol. Bestimme die Substitution

${\left(\forall yRxy\wedge \neg Ryfz\right)}{\frac {fx,\,\,\,\,\,gxz,\,\,\,\,\,hcfx}{x,\,\,\,\,\,\,\,\,\,\,\,\,y,\,\,\,\,\,\,\,\,\,\,\,\,z}}.$

Eine Lösung erstellen