What is the translation of " PREDICATE LOGIC " in Chinese?

• 谓词逻辑

Examples of using Predicate logic in English and their translations into Chinese

Predicate logic is an incredibly powerful programming tool.
谓词逻辑是一种极为强大的编程工具。

The two fundamental kinds of quantification in predicate logic are universal quantification and existential quantification.
在谓词逻辑的两类基本量化是全称量化和存在量化。

The T-schema is often expressed in natural language, but it can be formalized in many-sorted predicate logic or modal logic;.
T-模式经常用自然语言表达，但它们很容易接纳多类谓词逻辑或模态逻辑的形式化；.

And if you don't know Prolog, or the predicate logic, it's very difficult to discover this way of thinking by yourself.
但是如果你不了解Prolog或者谓词逻辑的话，很难自己发现这种思考方式。

Aristotle's brand of logic dominated this area of thought until the rise of modern propositional logic and predicate logic 2000 years later.
亚里士多德的逻辑品牌主导着这个思想领域，直到现代命题逻辑的崛起和2000年以后的逻辑逻辑。

Well-Formed Formula for First Order Predicate Logic- includes a short Java quiz. Well-Formed Formula at ProvenMath.
一阶谓词逻辑的良好形式-包括一个简短的Java测验。ProvenMath中的良好形式.

To address this fact, Gentzen in 1935 proposed his sequent calculus, though he initially intended it as a technical device for clarifying the consistency of predicate logic.
为此，根岑在1935年提出了他的相继式演算，他最初打算把它作为澄清谓词逻辑的一致性的技术手段。

These combinators are extremely useful when translating predicate logic or lambda calculus into combinator expressions.
这些表达式在把谓词逻辑或lambda演算转换成组合子表达式的时候非常有用。

In predicate logic, universal quantification is an attempt to formalize the notion that something(a logical predicate) is true for everything, or every relevant thing.
在谓词逻辑中，全称量化是尝试形式化某个事物（逻辑谓词）对于所有事物或所有有关的事物都为真的概念。

The interpretations of propositional logic and predicate logic described above are not the only possible interpretations.
上面所述的命题逻辑和谓词逻辑的解释并非唯一可能的解释。

A formula is a syntactic object that can be given a semantic meaning by means of an interpretation. Two key uses of formulas are in propositional logic and predicate logic.
公式是句法，可以给出一个语义对象含义通过解释的方式。公式的两个关键用途是命题逻辑和谓词逻辑。

The logic taught in philosophy and pc-science classes at present- first-order or predicate logic- is only a slight modification of Frege's system.
如今，哲学和计算机课堂上教授的逻辑学--一阶逻辑或谓词逻辑--只是对弗雷格的系统稍作了修改。

In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infinitary logic.
在数理逻辑中，谓词逻辑（Predicatelogic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或无穷逻辑等等。

The logic taught in philosophy and laptop-science courses right now- first-order or predicate logic- is just a slight modification of Frege's system.
如今，哲学和计算机课堂上教授的逻辑学--一阶逻辑或谓词逻辑--只是对弗雷格的系统稍作了修改。

The last model, which is based on predicate logic and set theory, contains multiple tables, each equaling one‘flat' database.
最后的这种模式，建立在谓词逻辑（predicatelogic）和集合论（settheory）基础上，包括了多个目录（table），每个目录相当于一个平面数据库。

The first logical calculus capable of dealing with such inferences was Gottlob Frege's Begriffsschrift(1879), the ancestor of modern predicate logic, which dealt with quantifiers by means of variable bindings.
有能力处理这种推理的第一个逻辑演算是弗雷格的概念文字，它是现代谓词逻辑的祖先，它通过变量约束的方式处理量词。

Instead of viewing the rules as descriptions for legal derivations in predicate logic, one may also consider them as instructions for the construction of a proof for a given statement.
不再把规则看作是对在谓词逻辑中合法的推导的描述，你还可以把它们当作为给定陈述构造一个证明的指导。

A{\displaystyle A} and B{\displaystyle B} denote formulae of first-order predicate logic(one may also restrict this to propositional logic),.
A{\displaystyleA}和B{\displaystyleB}指示一阶谓词逻辑的公式（你也可以把它限制为命题逻辑），.

We can see a logic in the responses of similar occupational groups undergoing similar experiences, but we cannot predicate any law.
相同职业的群体，我们在他们的反应中可能会发现某种逻辑，但是我们不能预测任何法则。

The subject of one premise, must be the predicate of the other, and so it is necessary to eliminate from the logic any terms which cannot function both as subject and predicate, namely singular terms.
在一个前提中是主词，在另一个前提中是谓词，所以必须从逻辑中排除掉不能充当主词和谓词二者的任何项。

Thus, the logic of the Treaty-- which is predicated on ensuring a balance of forces between the two major sources of power that emerged in Europe in the 1990s-- has been completely subverted.
因此，该《条约》的逻辑----其前提是确保1990年代欧洲出现的两个主要实力来源的力量平衡----已遭到彻底违反。

In first-order logic, arguments of predicates can also be individual variables such as x, y and z.
在一阶逻辑中，谓词的参数也可以是独立变量，如x、y和z。

The stream provides a filter() method that accepts a Predicate object, which isA lambda expression is passed in as filtering logic..
流提供了一个filter()方法，接受一个Predicate对象，即可以传入一个lambda表达式作为过滤逻辑。

For this underlying assumption there is a basis in traditional logic, which assumes that every proposition has a subject and a predicate.
这个作为基础的假定有一个传统逻辑上的根据，传统逻辑假定每个命题都有一个主语和一个谓语。