Zum Inhalt springen

Modallogik/Maximal widerspruchsfrei/Vollständig/Aufgabe

Aus Wikiversity

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