K-Modallogik/Möglichkeit und Doppelnegation/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass in einer -Modallogik

ableitbar ist.
Eine Lösung erstellen