Aussagenlogik/Ausdrucksmenge abgeschlossen und Alternative für Variablen/Maximal widerspruchsfrei/Fakt

Es sei $Γ \subseteq L^{V}$ eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge $V$ . Es sei $Γ$ widerspruchsfrei, abgeschlossen unter Ableitungen und für jede Aussagenvariable $p \in V$ gelte $p \in Γ$ oder $\neg p \in Γ$ .