Mögliche Notwendigkeit/Nichtsymmetrische Realisierung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass aus dem -modallogischen Axiomenschema

nicht das Axiomenschema

ableitbar ist.
Eine Lösung erstellen