Unendliche Grundmenge/Charakterisierung mit Ausdrucksmenge/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass es eine Ausdrucksmenge mit der Eigenschaft gibt, dass für jede Interpretation

genau dann gilt, wenn die Grundmenge der Interpretation unendlich ist.
Eine Lösung erstellen