Es sei Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge V {\displaystyle {}V} . Zeige, dass die Ableitungsbeziehung Γ ⊢ α {\displaystyle {}\Gamma \vdash \alpha } die Folgerungsbeziehung Γ ⊨ α {\displaystyle {}\Gamma \vDash \alpha } impliziert.
