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

Aus Wikiversity

Für die Aussagenvariablen gelte

Bestimme in den vier Weltpunkten die Wahrheitswerte von

  1. ,
  2. ,
  3. .