Es sei V {\displaystyle {}V} eine Menge an Aussagenvariablen und Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} eine Teilmenge der zugehörigen Sprache der Aussagenlogik. Es sei α ∈ L V {\displaystyle {}\alpha \in L^{V}} .
Dann ist
