Fußballgruppe/Prädikatenlogik/Aufgabe
Zur Navigation springen
Zur Suche springen
Eine Lösung erstellen
Es sei das Symbolalphabet, das neben Variablen aus einem zweistelligen Relationssymbol besteht und es sei
Zeige, dass eine vierelementige -Struktur,
die erfüllt, äquivalent zur Gewinnstruktur in einer Vorgruppe bei einer Fußballweltmeisterschaft ist.