Aussagenlogik/Ableitung/Korrektheit/Aufgabe

Es sei ${}\Gamma \subseteq L^{V}$ eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge ${}V$. Zeige, dass die Ableitungsbeziehung ${}\Gamma \vdash \alpha$ die Folgerungsbeziehung

${}\Gamma \vDash \alpha$ impliziert.

Eine Lösung erstellen