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

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

$a\vDash \neg p,q,\neg r\,,b\vDash \neg p,\neg q,r\,,c\vDash \neg p,\neg q,r\,,d\vDash p,q,r.$

Bestimme in den vier Weltpunkten die Wahrheitswerte von

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

Eine Lösung erstellen