English translation for "命题推演"

propositional inference

Related Translations:

推演式网络:  m derived network

真值命题:  truth value of proposition

基本命题:  elementary sentence

逻辑命题:  logic propositionlogical proposition

存在命题:  existential proposition

命题常数:  propositional constant

成分命题:  constituent proposition

条件命题:  conditional propositionconditional sentence

分子命题:  molecular proposition

否定命题:  negative proposition

Similar Words：

"命题逻辑的外延性原理" English translation, "命题逻辑公式" English translation, "命题内容" English translation, "命题内运演" English translation, "命题树" English translation, "命题网络" English translation, "命题网络模型" English translation, "命题线性时间逻辑" English translation, "命题行为" English translation, "命题性知识" English translation