Propositional Temporal Logic (PTL)

Casual Mode - Take your time!

1 / 15
✓
Correct
0
✗
Incorrect
0
★
Score
0%
Multiple Choice

Which of the following is a valid formula in PTL?

  1. G(p -> q)
  2. F(p & q)
  3. X(p U q)
  4. Y(p R q)
Change Mode