Chinese translation for "命题线性时间逻辑"

pltl

Related Translations:

真值命题:  truth value of proposition

基本命题:  elementary sentence

逻辑命题:  logic propositionlogical proposition

存在命题:  existential proposition

命题常数:  propositional constant

成分命题:  constituent proposition

条件命题:  conditional propositionconditional sentence

分子命题:  molecular proposition

否定命题:  negative proposition

假命题:  false statement; false proposition

Similar Words：

"命题内运演" Chinese translation, "命题树" Chinese translation, "命题推演" Chinese translation, "命题网络" Chinese translation, "命题网络模型" Chinese translation, "命题行为" Chinese translation, "命题性知识" Chinese translation, "命题学习" Chinese translation, "命题演算" Chinese translation, "命题运算阶段" Chinese translation