Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Möglichkeit überhaupt/Möglichkeitsaxiom/Modell/Aufgabe
Sprache
Beobachten
Bearbeiten
Zeige, dass in jedem
modallogischen Modell
(
M
,
R
,
μ
)
{\displaystyle {}(M,R,\mu )}
das Schema
◻
α
∧
◊
β
→
◊
α
{\displaystyle \Box \alpha \wedge \Diamond \beta \rightarrow \Diamond \alpha }
gilt.
Eine Lösung erstellen