Prädikatenlogik/Substitution/Ausdruck/2/Aufgabe

Es seien Konstanten einer erststufigen Sprache, Variablen (in dieser Reihenfolge), ein einstelliges Funktionssymbol, ein zweistelliges Funktionssymbol und einstellige Relationssymbole. Bestimme die Substitution