Mögliche Notwendigkeit/Möglichkeitsaxiom/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

In einem -modallogischen System gelte das Axiomenschema

Zeige, dass man in das Möglichkeitsaxiom

ableiten kann.
Eine Lösung erstellen