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.