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.

Eine Lösung erstellen