Fußballgruppe/Prädikatenlogik/Punktestand/Charakterisierung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei das Symbolalphabet, das neben Variablen aus einem zweistelligen Relationssymbol besteht. Wir betrachten vierelementige -Strukturen, die erfüllen (also WM-Fußballgruppen, wobei als gewinnt gegen interpretiert wird). Erstelle Aussagen in einer freien Variablen derart, dass

bedeutet, dass in der Abschlusstabelle Punkte hat.