Modallogik/Maximal widerspruchsfrei/Vollständig/Aufgabe

Es sei ${}T$ eine maximal widerspruchsfreie modallogische Ausdrucksmenge. Zeige, dass ${}T$ vollständig ist, dass also für jedes ${}\alpha \in L$ die Alternative „Entweder ${}\alpha \in T$ oder ${}\neg \alpha \in T$“ gilt.

Eine Lösung erstellen