Eine maximal widerspruchsfreie Teilmenge Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} zu einer Menge V {\displaystyle {}V} an Aussagenvariablen.
