Ausdrucksmenge/Beliebig endlich erfüllbar/Unendlich erfüllbar/Aufgabe

Es sei ${}\Gamma$ eine Menge von ${}S$-Ausdrücken, 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