Modallogik/Endlichkeitssatz/Aufgabe

Es sei ${}\Gamma$ eine modallogische Ausdrucksmenge und ${}\alpha$ ein modallogischer Ausdruck. Es sei ${}\Gamma \vDash \alpha$. Zeige, dass es eine endliche Teilmenge ${}\Gamma _{e}\subseteq \Gamma$ mit ${}\Gamma _{e}\vDash \alpha$ gibt.

Eine Lösung erstellen