Modallogik/Endlichkeitssatz/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Es sei eine modallogische Ausdrucksmenge und ein modallogischer Ausdruck. Es sei . Zeige, dass es eine endliche Teilmenge mit gibt.
Eine Lösung erstellen