Modallogik/Maximal widerspruchsfrei/Vollständig/Aufgabe
Erscheinungsbild
Es sei eine maximal widerspruchsfreie modallogische Ausdrucksmenge. Zeige, dass vollständig ist, dass also für jedes die Alternative „Entweder oder “ gilt.
Es sei eine maximal widerspruchsfreie modallogische Ausdrucksmenge. Zeige, dass vollständig ist, dass also für jedes die Alternative „Entweder oder “ gilt.