predicate constant的中文,翻译,解释,例句
predicate constant
- 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.
它以狭义谓词演算为基础，在其形式语言中添加专指"制裁"行为的谓词常项，添加专指"国家机关"这种法人的个体常项，添加规范词的定义，但不添加推演工具，就可次生出关于法律规范的逻辑。
- 更多网络解释与predicate constant相关的网络解释 [注：此内容来源于网络，仅供参考]
-
predicate constant：谓词常数
predicate calculus with identity 带恒等式的谓词演算 | predicate constant 谓词常数 | predicate logic 谓词演算