Modallogik/Gerichteter Graph/Belegung/1/Beispiel/Aufgabe

Wir arbeiten mit den Aussagenvariablen ${}p,q,r$. Im Weltpunkt ${}a$ gelte

$a\vDash p,q,\neg r$

und im Weltpunkt ${}b$ gelte

$b\vDash p,\neg q,r.$

Bestimme die Wahrheitswerte von ${}\Box p\wedge \Diamond (\neg q)\rightarrow \Box r$ in den beiden Weltpunkten.

Zur Lösung, Alternative Lösung erstellen