Fußballgruppe/Prädikatenlogik/Beispielgruppe/Elementare Äquivalenz/Trennende Ausdrücke/2014 G/Aufgabe
Erscheinungsbild
Es sei das Symbolalphabet, das neben Variablen aus einem zweistelligen Relationssymbol besteht und es sei
die -Struktur, bei der als gewinnt gegen (bei der Fußballweltmeisterschaft 2014) interpretiert wird. Bestimme die Äquivalenzklassen zur elementaren Äquivalenz, charakterisierende Ausdrücke und die Automorphismengruppe.