Modallogik/K/Modell/Keine Implikation von Aussage auf Notwendigkeit/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

nicht ableitbar ist. Insbesondere lässt sich also Fakt  (1)

nicht internalisieren.
Eine Lösung erstellen