谓词演算英文解释翻译、谓词演算的近义词、反义词、例句
英语翻译：
【计】 predicate calculus
分词翻译：
谓词的英语翻译：
predication; predicative
【计】 predicate
演算的英语翻译：
figure; perform mathmatical calculations
【计】 D-calculus
网络扩展解释
谓词演算 (wèi jù yǎn suàn)
谓词演算是一种数学逻辑系统，用于描述和推理关于对象的性质和关系的命题。它由一组基本的逻辑变量、谓词和逻辑连接词组成，可以表示命题逻辑和一阶逻辑中的语句和论证。
Predicate Calculus
Predicate Calculus is a mathematical logical system used to describe and reason about propositions concerning the properties and relationships of objects. It consists of a set of basic logical variables, predicates, and logical connectives, which can represent statements and reasoning in propositional logic and first-order logic.
英文读音 (yīng wén dú yīn)
Predicate Calculus (Prid-i-kit Kah-kyoo-luhs)
英文的用法 (zhōng wén jiě shì)
In English, Predicate Calculus refers to a formal system used in logic and mathematics for stating and proving logical propositions about objects and their properties. It is commonly used in advanced mathematics, computer science, and philosophy.
英文例句 (bāo hán zhōng wén jiě shì)
1. The use of predicate calculus allows us to formalize the relationships between variables in the mathematical model. (使用谓词演算可以使我们将数学模型中的变量关系形式化。)
2. Predicate calculus provides a precise language for expressing logical statements and reasoning about objects. (谓词演算为表达逻辑陈述和推理提供了一种精确的语言。)
英文近义词 (bāo hán zhōng wén jiě shì)
1. First-order logic - a formal system of predicate calculus used in mathematical logic. (一阶逻辑 - 谓词演算在数学逻辑中使用的一种形式系统。)
2. Propositional calculus - a simpler form of logic that deals with propositions using propositional variables and logical connectives. (命题演算 - 一种较简单的逻辑形式，使用命题变量和逻辑连接词处理命题。)
英文反义词 (bāo hán zhōng wén jiě shì)
Intuitionistic logic - a different formal system of logic that rejects the principle of excluded middle and other classical logical laws. (直觉主义逻辑 - 一种不同的逻辑形式系统，拒绝排中律和其他经典逻辑定律。)
英文单词常用度 (zhōng wén jiě shì)
Predicate Calculus属于学术领域的术语，常用度一般，主要出现在逻辑学、数学、计算机科学等学科的专业文献和讨论中。