predicate logic

基本解释

• [数] 谓词逻辑

英汉例句

双语例句

• By predicate logic, the solution is set up and the process of analysis is provided.
  依据谓词逻辑规则建立解决方案，提供了求解的流程。
• Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.
  任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
  blog.sina.com.cn
• Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed.
  给出了一种应用于决策支持系统，基于一阶谓词逻辑的模型表示方法，并分析了此种表示方法的实用性和推理机制。

权威例句

• Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.
  NEWYORKER: Utopian for Beginners

• predicate logic更多例句

词组短语

短语

• predicate calculus logic 述词演算逻辑
• predicate e logic language 谓词逻辑语言
• predicate functor logic 或谓词函子逻辑
• predicate e logic 谓词逻辑
• Predicate modal logic 谓词模态逻辑

• predicate logic更多词组

专业释义

计算机科学技术

• 谓词逻辑

  The main contents of this paper as follows:(1)A method of representing spatial access control system, which is based on predicate logic was proposed.
  本文主要内容如下:(1)提出了一种基于谓词逻辑的空间访问控制系统的描述方法。

• 述词逻辑

数学

• 谓语逻辑
• 述词逻辑
• 谓词演算

语言学

• 谓词逻辑

  In this paper, we propose some basic operations between semantic network and predicate logic, and the algorithm transforming representation of semantic network to expression of predicate logic.
  文章首先提出从语义网络到谓词逻辑这两种形式进行转换的基本操作 ,并给出由语义网络表示转换成谓词逻辑形式表示的算法。

  电子、通信与自动控制技术

• 谓词逻辑

哲学

• 谓词逻辑