查询词典 arithmetical predicate

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。

The internal components of the syntactic subject in the form of nominative absolute construction in an English sentence imply integrated logical subject-predicate relationship, expressing a type of concept, fact, state of affairs, or situation, after which is the syntactic predicate presenting the speaker's comment, description, or exposition.

英语独立主格结构型主语内部为逻辑主谓关系，主语化程度较低，用以表达一个概念、事实、事态、情景或情形。

But for those of us who move onto this more advanced stage, Lee's team said "this shift in strategy is analogous to shifting from proofs in the first-order predicate calculus to proofs in the first-order modal predicate calculus"- in other words, it's a pretty impressive display of logical prowess and further evidence of our ability to "make deductions about abstract matters remote from our mundane life".

但是我们中的那些进入更高等级的玩家，Lee的团队说，"这次策略的转换同从一阶谓词演算证据到一阶情态谓词演算证据非常类似"——换句话说，这是一次令人印象深刻的展示：逻辑的力量和我们具备对"远离日常生活的抽象事物进行演绎"的能力。

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 predicate logic, a predicate can take the role as either a property or a relation between entities.

在谓词逻辑，谓词可以采取的角色，无论是属性或实体之间的关系。

Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate.

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理，是人工智能科学赖以产生和发展的最古老，最直接，也是最为完备的理论基础。

Then the paper changes the algorithms, and applies them to Predicate/Transition net model of first-order predicate logic.

这些算法都具有较高的效率，为逻辑推论的P／T网和Pr／T网模型的推理提供了新的有效的方法。

In the first-order logic, predicate variable is said of a relationship between the predicate letters, this relationship has not been assigned to any particular special relationship or meaning

在一阶逻辑中，谓词变量是表示一个关系的谓词字母，这个关系还没有被特殊的指派任何特定的关系或意义

Logical reasoning is the basis of artificial intelligence, the first-order predicate logic belonging to logic is a knowledge representation widely used, therefore,it is a meaningful task to study the reasoning problem of first-order predicate logic .

逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。

The changes of the HAF after liver injury may be related to the volume of blood loss, the intraabdominal pressure and the pneumoperitoneum duration.

肝撞击伤伴失血后肝动脉血流量的变化与失血量、气腹压力以及气腹持续时间等有密切联系。

Reneging on our commitments to the world's poor cannot be an austerity measure, she said.

放弃我们给世界上的穷国的承诺不能成为一种紧缩措施。