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

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

Eine Lösung erstellen