Möglichkeit überhaupt/Möglichkeitsaxiom/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass in der -Modallogik das Schema

ableitbar ist.
Eine Lösung erstellen