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.