Modallogik/K/Modell/Keine Implikation von Aussage auf Möglichkeit/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige durch Angabe eines modallogischen Modelles, dass im -System der Ausdruck

nicht ableitbar

ist.
Eine Lösung erstellen