Incorrect Answer.
The state s
0
in the CTL model below satisfies AF(p
q) but not AFp
AF q.
(You should be able to explain why this is so.)
Back to Question.
Next Question.
Incorrect Answer.
q) but not AFp AF q.
