Prädikatenlogik/Substitution/Als Symbolkette/Aufgabe

Es sei ein Symbolalphabet ${}S$ einer Sprache erster Stufe gegeben, es sei ${}x$ eine Variable und ${}t$ ein fixierter ${}S$-Term. Gehört die Symbolkette (!)

${}\alpha {\frac {t}{x}}$ zu ${}L^{S}$?

Eine Lösung erstellen