Prädikatenlogik/Genau 4 Elemente/Formalisiere/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Erstelle einen prädikatenlogischen Ausdruck , der in einer Struktur genau dann gilt, wenn die Grundmenge der Struktur genau Elemente besitzt.
Zur Lösung, Alternative Lösung erstellen