Prädikatenlogik/Genau 5 Elemente/Formalisiere/Aufgabe

Erstelle einen prädikatenlogischen Ausdruck ${}\alpha$, der in einer Struktur genau dann gilt, wenn die Grundmenge der Struktur genau ${}5$ Elemente besitzt.

Eine Lösung erstellen