Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Modallogik/Endlichkeitssatz/Aufgabe
Sprache
Beobachten
Bearbeiten
Es sei
Γ
{\displaystyle {}\Gamma }
eine modallogische Ausdrucksmenge und
α
{\displaystyle {}\alpha }
ein modallogischer Ausdruck. Es sei
Γ
⊨
α
{\displaystyle {}\Gamma \vDash \alpha }
. Zeige, dass es eine endliche Teilmenge
Γ
e
⊆
Γ
{\displaystyle {}\Gamma _{e}\subseteq \Gamma }
mit
Γ
e
⊨
α
{\displaystyle {}\Gamma _{e}\vDash \alpha }
gibt.
Eine Lösung erstellen