Mögliche Notwendigkeit/Möglichkeitsaxiom/Aufgabe
In einem -modallogischen System gelte das Axiomenschema
Zeige, dass man in das Möglichkeitsaxiom
ableiten kann.
In einem
-modallogischen System
gelte das Axiomenschema
Zeige, dass man in das
Möglichkeitsaxiom
ableiten kann.