Aussagenlogik/Ausdrucksmenge/Widersprüchlich/Definition

Widersprüchliche Ausdrucksmenge (Aussagenlogik)

Eine Ausdrucksmenge $\Gamma \subseteq L^V$ in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge $V$ heißt widersprüchlich, wenn es einen Ausdruck $\alpha \in L^V$ mit $\Gamma ⊢\alpha$ und $\Gamma ⊢\mathrm{\neg }\alpha$ gibt.