Aussagenlogik/Ausdrucksmenge/Nichtableitbar/Maximal widerspruchsfrei/Aufgabe

Aus Wikiversity

Es sei eine aussagenlogische Ausdrucksmenge und es sei mit . Zeige mit dem Lemma von Zorn, dass es eine maximal widerspruchsfreie Ausdrucksmenge

mit gibt.