Sebi hat geschrieben:In allen erreichbaren Zuständen gilt, ein Zustand kann erreicht werden an dem P gilt.
Ja, so habe ich die Formel auch aufgefasst. Dann habe ich eine Tabelle aufgestellt, welche Zustände von jedem Zustand aus erreichbar sind:
Zustand 1, erreichbar: 2,3,4,5,6
Zustand 2, erreichbar: 1,3,4,5,6
Zustand 3, erreichbar: 3
Zustand 4, erreichbar: 3
Zustand 5, erreichbar: 3,4
Zustand 6, erreichbar: 3,4,5
Aber beispielsweise von Zustand 3 aus kann kein anderer Zustand erreicht werden, an dem P gilt. Und da 3 von jedem anderen Knoten erreicht werden kann, gilt die Formel eben auch für keinen der sechs Zustände.
Jemand Einwände?
Hier mal die wörtlichen Interpretationen zu b) und c):
b) In allen erreichbaren Zuständen gilt irgendwann, dass ein Zustand erreicht werden kann, an dem P nicht gilt.
Edit: Hier für alle 1 (erfüllbar)? Die erreichbaren Zustände wie oben, und von jedem aus kann ein Zustand mit nicht P erreicht werden.
c) Es kann ein Zustand erreicht werden, an dem entweder P oder !P gilt: im Falle P gilt für alle von dort erreichbaren Zustände immer !P, im Falle !P gilt für alle von dort erreichbaren Zustände immer P.
Also gerade bei c) bin ich mir doch sehr unsicher. Intuitiv könnte man sagen, dass man irgendwann ein letztes P bzw. ein letztes !P erreicht.
Zuletzt geändert von foogy am 14.01.07 23:20, insgesamt 1-mal geändert.
Sätze mit "Wenn du mal Zeit hast ..." oder "Du studierst doch Informatik ..." können der eigenen Gesundheit schaden. Also lasst es!