Es sei Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} eine endliche Menge an Aussagen. Skizziere ein Entscheidungsverfahren, mit dem man feststellen kann, ob Γ {\displaystyle {}\Gamma } widersprüchlich ist oder nicht.
