Fußballgruppe/Prädikatenlogik/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.