Prädikatenlogik/Automorphismus/Gruppe/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein erststufiges Symbolalphabet und sei eine -Struktur. Zeige, dass die Menge der -Automorphismen auf eine Gruppe

bildet.
Eine Lösung erstellen