Modallogik/Maximal widerspruchsfrei/Vollständig/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Es sei eine maximal widerspruchsfreie modallogische Ausdrucksmenge. Zeige, dass vollständig ist, dass also für jedes die Alternative „Entweder oder “ gilt.
Eine Lösung erstellen