Homomorphielemma/Term/Fakt/Beweis/Aufgabe

Es sei ${}S$ ein erststufiges Symbolalphabet, ${}M$ und ${}N$ seien ${}S$-Strukturen und

$\varphi \colon M\longrightarrow N$

ein Homomorphismus. Es sei ${}\lambda$ eine Variablenbelegung in ${}M$ und ${}\varphi \circ \lambda$ die nach ${}N$ übertragene Variablenbelegung. Es seien ${}I$ und ${}J$ die zugehörigen Interpretationen. Zeige, dass

${}\varphi (I(t))=J(t)\,$

für alle ${}S$-Terme ${}t$ gilt.

Eine Lösung erstellen