Ausdrucksmenge/Abgeschlossen unter Ableitungen/Nicht einelementig auffüllbar/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine widerspruchsfreie, aber nicht maximal widerspruchsfreie Aussagenmenge, die unter Ableitungen abgeschlossen sei.

Zeige, dass nicht durch die Hinzunahme von endlich vielen Aussagen zu einer maximal widerspruchsfreien Aussagenmenge aufgefüllt werden kann.
Eine Lösung erstellen