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