predicate logic是什么意思,predicate logic的意思翻译、用法、同义词、例句
常用词典
[数] 谓词逻辑
例句
By predicate logic, the solution is set up and the process of analysis is provided.
依据谓词逻辑规则建立解决方案,提供了求解的流程。
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支,命题逻辑和谓词逻辑。
Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.
谓词逻辑:也叫谓词演算,它研究简单命题的内部结构。
Any logic which USES the existential quantifier or the universal quantifier is said to be a predicate logic.
任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
网络扩展资料
predicate
- 解释:在逻辑学和语言学中,谓词是一个描述性质或关系的词或短语,它被用来指示一个句子中的主语所拥有的性质或状态。
- 例句:In the sentence "The cat is black," the predicate is "is black."
- 用法:谓词通常是动词或形容词,但也可以是名词、介词短语或其他语法类别。谓词可以被分为简单谓词(只包含一个单词)和复合谓词(包含多个单词)。
- 近义词:verb phrase,predicate nominative
- 反义词:subject
logic
- 解释:逻辑是研究推理和推论的科学,它涉及到正确地推导和证明论证的方法和原则。
- 例句:The study of logic helps us to reason and make better arguments.
- 用法:逻辑包括许多不同的领域,如形式逻辑、哲学逻辑、模态逻辑等。在计算机科学中,逻辑也是一种编程语言,被用来描述程序的行为和规则。
- 近义词:reasoning,rationality
- 反义词:illogic,irrationality