Es sei Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge V {\displaystyle {}V} . Zeige