Temporal Logic of Permission (TLP)

Casual Mode - Take your time!

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

Which of the following is a valid formula in TLP?

  1. P(a) -> F(a)
  2. P(a) -> G(a)
  3. F(a) -> P(a)
  4. G(a) -> P(a)
Change Mode