Aussagenlogik/Ausdrucksmenge/Nichtableitbar/Maximal widerspruchsfrei/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

mit gibt.
Zur Lösung, Alternative Lösung erstellen