🎴 Flashcard Mode
Propositional Temporal Logic (PTL)
Card1 / 15
Mastered0
Review0
QuestionClick to flip
Which of the following is a valid formula in PTL?
AnswerClick to flip back
A
X(p U q)
💡 Explanation:
X(p U q) means that in the next moment, p will hold until q holds.