In der Aufgabe sollen wir CTL* Formeln formulieren.

"Zu jedem Zeitpunkt befindet sich jeder Philosoph Ph_i entweder im Zustand d_i oder e_i."

Warum haben wir in unseren Sätzen eine Abkürzung Ph_i ? Muss die in die Formel mit rein?

Unsere Atome sind ja AP = {d_i, e_i, g_i | … }.

Ich hab jetzt Formeln ohne das "Ph_i" formuliert. Ist das so richtig?

du musst irgendwie deutlich machen dass deine formel für alle philosophen gilt.
in der naechsten teilaufgabe wird das durch sowas wie
[latex]i \in \{0\ldots4\}[/latex]:
[latex]\phi_x(i) = formel[/latex]
gelöst.