Zum Inhalt springen

Möglichkeit überhaupt/Möglichkeitsaxiom/Aufgabe

Aus Wikiversity

Zeige, dass in der -Modallogik das Schema

ableitbar ist.