Modallogik/K/Modell/Keine Oderbeziehung/Aufgabe/Lösung

Es bestehe ${}M$ aus zwei Welten ${}v$ und ${}w$ mit der vollen Relation. Es gelte

$v\vDash p,\,v\vDash \neg q,\,w\vDash \neg p,\,w\vDash q.$

Damit gilt

$v\vDash p\vee q{\text{ und }}w\vDash p\vee q$

und somit

$v\vDash \Box (p\vee q).$

Dagegen gilt in ${}v$ weder ${}\Box p$ noch ${}\Box q$.

Zur gelösten Aufgabe