Aussagenlogik/Nichtableitbar/Semantisches Kriterium/Aufgabe

Es sei ${}\Gamma \subseteq L^{V}$ eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge ${}V$ und es sei ${}\alpha \in L^{V}$. Es gebe eine Interpretation ${}I$ mit ${}I\vDash \Gamma$ und ${}I\vDash \neg \alpha$. Zeige

${}\Gamma \not \vdash \alpha$.

Eine Lösung erstellen