Fußballgruppe/Prädikatenlogik/Elementare Äquivalenz/Gewinn/Aufgabe

Es sei das Symbolalphabet, das neben Variablen aus einem zweistelligen Relationssymbol besteht. Wir betrachten Modelle, die aus einer vierelementigen Menge mit einer zweistelligen (Gewinn)-relation bestehen und die die Aussage erfüllen. Zeige, dass zwei verschiedene Elemente zueinander elementar äquivalent sein können, obwohl gilt

( und spielen also nicht unentschieden).