Skip to content

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

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

Description

@rothsch
rothsch
opened on Jan 6, 2024
image

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions