English 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：

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