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 谓词演算