Aussagenlogik/Ausdrucksmenge/Durchschnitt von maximal widerspruchsfrei/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Ausdrucksmengen ist.
Eine Lösung erstellen