Erfüllbarkeit/Beliebig groß/Unendlich/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Es sei eine Ausdrucksmenge, die über beliebig großen endlichen Grundmengen erfüllbar ist. Zeige, dass auch über einer unendlichen Menge erfüllbar ist.
Eine Lösung erstellen