Modallogik/K/Modell/Keine Oderbeziehung/Aufgabe

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

$\Box (p\vee q)\rightarrow \Box p\vee \Box q$

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

Zur Lösung, Alternative Lösung erstellen