Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.3k answers

1.7k comments

556 users

0 votes

What is the precedence rules for temporal operators ?

In the below slide there are precedence rules for propositional logic:

What would be the precedence of temporal operators (Until, Before and When) with respect to the above operators in slide ?

For e.g :

 [(G¬b) ∨ (Gb) B a] -> which one to solve first ? 

 [{(G¬b) ∨ (Gb)} B a] OR [(G¬b) ∨ {(Gb) B a}]

in * TF "Emb. Sys. and Rob." by (2.9k points)

1 Answer

+1 vote
 
Best answer
For binary temporal operators, it does not matter since we always use brackets for them. For the unary operators, the precedence is like the negation, i.e. strongest.
by (170k points)
selected by
Thanks for the explanation.

Could you please explain how to interpret Q8 (d) 21.08.2018 :  https://es.cs.uni-kl.de/teaching/vrs/exams/2018.08.21.vrs/2018.08.21.vrs.solutions.pdf ?

 [(G¬b) ∨ (Gb) B a] as the bracket is on all.
For binary operators like B, you can apply the pattern [* SB * ] to determine the two arguments of the operator. Hence, (G¬b) ∨ (Gb) is the left operator of SB and "a" is the right one.
Thanks a lot for this explanation.

Related questions

0 votes
1 answer
0 votes
1 answer
asked Aug 16, 2021 in * TF "Emb. Sys. and Rob." by KB (280 points)
+1 vote
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...