Eine widersprüchliche Ausdrucksmenge Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge V {\displaystyle {}V} .
