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