Unendliche Grundmenge/Charakterisierung mit Ausdrucksmenge/Aufgabe

Zeige, dass es eine Ausdrucksmenge ${}\Gamma$ mit der Eigenschaft gibt, dass für jede Interpretation ${}I$ genau dann ${}I\vDash \Gamma$ gilt, wenn die Grundmenge der Interpretation unendlich ist.

Eine Lösung erstellen