Homomorphielemma/Term/Fakt/Beweis/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein erststufiges Symbolalphabet, und seien -Strukturen und

ein Homomorphismus. Es sei eine Variablenbelegung in und die nach übertragene Variablenbelegung. Es seien und die zugehörigen Interpretationen. Zeige, dass

für alle -Terme gilt.