Fußballgruppe/Prädikatenlogik/Punktestand/Charakterisierung/Aufgabe
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