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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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, trennende Ausdrücke und die Automorphismengruppe.
Eine Lösung erstellen