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

Aus Wikiversity

Für die Aussagenvariablen gelte

Bestimme in beiden Weltpunkten die Wahrheitswerte von

  1. ,
  2. ,
  3. ,
  4. .