Kontradiktion/Folgerung/Aufgabe

Die Ausdrucksmenge ${}\Gamma \subseteq L^{V}$ enthalte eine Kontradiktion. Zeige

${}\Gamma ^{\vDash }=L^{V}$.

Eine Lösung erstellen