Die Ableitbarkeit eines Aussage α ∈ L V {\displaystyle {}\alpha \in L^{V}} aus einer Aussagenmenge Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} in der Sprache der Aussagenlogik zu einer Aussagevariablenmenge V {\displaystyle {}V} .
