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

Aus Wikiversity

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

nicht ableitbar

ist.