查询词典 predicate constant
- 与 predicate constant 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Judge determined that the predicate as a predicate constant.
表示某个确定判定的谓词称为谓词常项。
-
The logical system Qs is obtained from the pure predicate calculus by adding a binary predicate constant S which denotes the sanctions, an individual constant c denoting the state institutions, and some definitions of deontic modal words but not adding axioms or deducible means.
它以狭义谓词演算为基础，在其形式语言中添加专指"制裁"行为的谓词常项，添加专指"国家机关"这种法人的个体常项，添加规范词的定义，但不添加推演工具，就可次生出关于法律规范的逻辑。
-
In general, when a given predicate P, x1, x2,..., xn is the object variables, P (x1, x2,..., xn) is not a proposition, because he can not determine the true value, in order to make it a proposition , use the constant instead of nn-object object variables ...
一般来说，当谓词 P给定， x1，x2，…，xn是客体变元，P(x1，x2，…，xn)不是一个命题，因为他的真值无法确定，要想使它成为命题，要用n个客体常项代替n个客体变元。。。。
- 推荐网络例句
-
Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.
在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。
-
In fact,I've got him on the satellite mobile right now.
实际上 我们已接通卫星可视电话了
-
The enrich the peopling of Deng Xiaoping of century great person thought, it is the main component in system of theory of Deng Xiaoping economy, it is a when our country economy builds basic task important facet.
世纪伟人邓小平的富民思想，是邓小平经济理论体系中的重要组成部分，是我国经济建设根本任务的一个重要方面。