Skip to content

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

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

Description

@rothsch
rothsch
opened on Jan 6, 2024
image

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