对于句子的疑问，没有看懂"左图中O和W表示的是时序逻辑PWQ表示P必须一直为真直到未来某一点Q为真"这句话，且PWQ概念和右图的表的定义不一致

[rothsch]