📚 Practice Mode

Propositional Temporal Logic (PTL)

Learn at your own pace with hints and detailed explanations

1 / 15
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