VRS Exam - Temporal Logic (Aug 29, 2023)

Question

For the last equation [FGa WU Fb], from my understanding t=0 should be 0 because:

1. Fb will be 1 from t=1and hence be 0 at t=0

2. FGa is 0 at t=0

If it is supposed be 1 at t=0, could you please explain it? Thank you.

Also, are there any other sources apart from the previous exams from where I could practice such problems?

Answer 1

If Fb holds at some time t, then it also holds at every time before t. Hence, in the example FB does always hold, and for that reason also and formula [phi WU Fb] does always hold.

You can easily generate such example exercises on your own taking a cycle of states and any temporal logic formula.