The propositional structure is a new perspective of researching sentence meaning, and the approach to it should be based on the combination of syntax, semantics, logic and text linguistics.
命题结构是句子语义研究中的一个新的视角，须结合句法学、语义学、逻辑学、篇章语言学等理论进行交叉分析。
Compared with propositional temporal logic, it can accurately describe the time feature of digital circuits and support discrete and continuous time structure.
它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。
Compared with propositional temporal logic, it can accurately describe the time feature of digital circuits and support discrete and continuous time structure.
它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。
应用推荐