英语人>词典>英汉 : propositional variable的中文,翻译,解释,例句
propositional variable的中文,翻译,解释,例句

propositional variable

propositional variable的基本解释
-

命题变量

更多网络例句与propositional variable相关的网络例句 [注:此内容来源于网络,仅供参考]

53 The general propositional form is a variable.

4.53 一般的命题形式是变项。

127 The propositional variable signifies the formal concept, and its values signify the objects that fall under the concept.

4.127 命题变项标示形式概念,命题变项的值标示属于该形式概念的对象。

A renaming is a function mapping propositional variable to itself or its complement, a variable renaming is a permutation over the set of propositional variables of a formula, and a literal renaming is a combination of a renaming and a variable renaming.

许道云 ,董改芳,王健改名是一个将变元映射到变元本身或它的补的函数,变元改名是公式变元集合上的一个置换,文字改名是一个改名和一个变元改名的组合。

constant ; propositional variable ; generalized literal ;α-resolution field

文献[1]中给出的α-归结方法,是一种半可判定算法,能够归结出一类格值

更多网络解释与propositional variable相关的网络解释 [注:此内容来源于网络,仅供参考]

propositional variable:命题变元

propositional logic 命题逻辑 | propositional variable 命题变元 | protractor 量角器分度规

propositional variable:命题变量

propositional function 命题函数 | propositional variable 命题变量 | proprietary account 业主帐户

propositional variable, sentential variable:命题变元

命题|proposition | 命题变元|propositional variable, sentential variable | 模表示|modular representation