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