Vollständigkeitssatz/Ableitbarkeit/Durchschnitt von Gültigkeitsmengen/Aufgabe

Es sei ${}S$ ein Symbolalphabet und ${}\Gamma \subseteq L^{S}$ eine Ausdrucksmenge. Zeige

${}\Gamma ^{\vdash }=\bigcap _{I\vDash \Gamma }I^{\vDash }\,.$

Eine Lösung erstellen