Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Modallogik/Maximal widerspruchsfrei/Vollständig/Aufgabe
Sprache
Beobachten
Bearbeiten
Es sei
T
{\displaystyle {}T}
eine maximal widerspruchsfreie modallogische Ausdrucksmenge. Zeige, dass
T
{\displaystyle {}T}
vollständig ist, dass also für jedes
α
∈
L
{\displaystyle {}\alpha \in L}
die Alternative „Entweder
α
∈
T
{\displaystyle {}\alpha \in T}
oder
¬
α
∈
T
{\displaystyle {}\neg \alpha \in T}
“ gilt.
Eine Lösung erstellen