Prädikatenlogik/Termsubstitution/1/Aufgabe

Es seien ${}c,d$ Konstanten einer erststufigen Sprache, ${}x,y,z,v$ Variablen, ${}f$ ein einstelliges und ${}g,h$ zweistellige Funktionssymbole. Bestimme die Substitution

$ghhxcdfz{\frac {fx,\,\,\,\,\,gxz,\,\,\,\,\,hvfx}{x,\,\,\,\,\,\,\,\,\,\,\,\,y,\,\,\,\,\,\,\,\,\,\,\,\,z}}.$

Eine Lösung erstellen