Modallogik/K/Modell/Keine Oderbeziehung/Aufgabe

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

$◻(p\vee q)\to ◻p\vee ◻q$

nicht ableitbar ist (dabei seien $p,q$ Aussagenvariablen).

Zur Lösung, Alternative Lösung erstellen