Modallogik/K/Modell/Keine Oderbeziehung/Aufgabe

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

nicht ableitbar ist

(dabei seien Aussagenvariablen).