Im Skript findet sich aus Seite 248 das Mikrowellenbeispiel, diese Kripke-Struktur wird auch auf Blatt 12 für Aufgabe 2.2 verwendet.
In der Lösung zu dem Übungsblatt ist eine SCC über die Plätze 3,4,6,7 eingezeichnet. Ich frage mich gerade warum Platz 1 nicht dazu gehört? Kann das evtl. jemand kurz erklären?

Danke!

In 1 gilt p nicht. Der Algorithmus für EGp betrachtet aber nur den Teilgraphen, in dem p gilt.