Prädikatenlogik/Ersetzungssymbol/Teil der Sprache/Aufgabe

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

Eine Lösung erstellen