Prädikatenlogik/Ersetzungssymbol/Teil der Sprache/Aufgabe

Gehört in einem Ausdruck der Form $(x = y) \frac{t}{x}$ die Symbolfolge $\frac{t}{x}$ zur prädikatenlogischen Sprache? Gehört $(x = y) \frac{t}{x}$ dazu?