Erfüllbarkeit/Beliebig groß/Unendlich/Aufgabe

Es sei ${}\Gamma \subseteq L^{S}$ eine Ausdrucksmenge, die über beliebig großen endlichen Grundmengen erfüllbar ist. Zeige, dass ${}\Gamma$ auch über einer unendlichen Menge erfüllbar ist.

Eine Lösung erstellen