Es sei Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge V {\displaystyle {}V} und es sei α ∈ L V {\displaystyle {}\alpha \in L^{V}} . Es gebe eine Interpretation I {\displaystyle {}I} mit I ⊨ Γ {\displaystyle {}I\vDash \Gamma } und I ⊨ ¬ α {\displaystyle {}I\vDash \neg \alpha } . Zeige Γ ⊬ α {\displaystyle {}\Gamma \not \vdash \alpha } .
