Aussagenlogik/Endliche Ausdrucksmenge/Widersprüchlich/Test/Aufgabe

Es sei ${\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.