Modallogik/Maximal widerspruchsfrei/Vollständig/Aufgabe

Es sei eine maximal widerspruchsfreie modallogische Ausdrucksmenge. Zeige, dass vollständig ist, dass also für jedes die Alternative „Entweder oder “ gilt.