Zum Inhalt springen

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

Aus Wikiversity

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.