Question

I have got confused in undressing the informal definition of LTL below: $$G(\phi \Longrightarrow\psi)\Longrightarrow(G\phi \Longrightarrow G\psi)$$

  1. in many literatures I have seen implies is said as replies like for LHS we can say Always/Globally $\psi$ replies to $\phi$. is it correct?
  2. Does the LHS implies the RHS if so what is the informal interpretation of the formula? (Alway $\psi$ replies to Always $\phi$) replies to (Always $\psi$ replies to $\phi$)

No correct solution

Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange
scroll top