Aussagenlogik/Ausdrucksmenge/Durchschnitt von maximal widerspruchsfrei/Aufgabe

Es sei ${}\Gamma \subseteq L^{V}$ eine widerspruchsfreie aussagenlogische Ausdrucksmenge, die unter Ableitungen abgeschlossen sei. Zeige, dass ${}\Gamma$ der Durchschnitt von maximal widerspruchsfreien Ausdrucksmengen ist.

Eine Lösung erstellen