Modallogik/K/Implikation von Notwendigkeit auf Möglichkeit/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass im -System der Ausdruck

ableitbar

ist.
Zur Lösung, Alternative Lösung erstellen