Zum Inhalt springen

Fußballgruppe/Prädikatenlogik/Beispielgruppe/Elementare Äquivalenz/Trennende Ausdrücke/2014 G/Aufgabe

Aus Wikiversity

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.