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