Modallogik/Gerichteter Graph/Bestimmung von Wahrheitswerten/2/Aufgabe

Für die Aussagenvariablen ${}p,q,r$ gelte

$a\vDash \neg p,q,r\,\,{\text{ und }}\,\,b\vDash \neg p,\neg q,r.$

Bestimme in beiden Weltpunkten die Wahrheitswerte von

1. ${}p\rightarrow \Box r$,
2. ${}\Box q\rightarrow (\Box p\rightarrow \Box (r\wedge p))$,
3. ${}(p\vee \Box \Box r)\rightarrow \Diamond r$,
4. ${}\Diamond \Box \neg q\rightarrow (\Box \Diamond r\vee \neg p)$.

Eine Lösung erstellen