Zum Inhalt springen

Aussagenlogik/Ausdrucksmenge/Durchschnitt von maximal widerspruchsfrei/Aufgabe

Aus Wikiversity

Es sei eine widerspruchsfreie aussagenlogische Ausdrucksmenge, die unter Ableitungen abgeschlossen sei. Zeige, dass der Durchschnitt von maximal widerspruchsfreien Ausdrucksmengen ist.