请输入您要查询的英文单词:

 

单词 predicate logic
释义
predicate logic
  • 简明释义
  • 谓词逻辑:一类符号形式系统,如一阶逻辑、二阶逻辑、多分类逻辑或无穷逻辑等。
  • 网络释义
  • 1

    [数]?谓词逻辑

    在数理逻辑中,谓词逻辑(Predicate logic)是符号形式系统的通用术语,比如一阶逻辑,二阶逻辑,多类逻辑或infinitary..

  • 2

    ?谓词演算

    ... primitive recursive predicate 原始递归谓词,原始递... predicate logic 谓词演算 false predicate 假谓词 ...

短语
  • 双语例句
  • 1
    By predicate logic, the solution is set up and the process of analysis is provided.
    依据谓词逻辑规则建立解决方案,提供了求解的流程。
  • 2
    Predicate logic of first order is the most classical calculation system in modern logic.
    一阶谓词逻辑是现代逻辑中最为经典的演算系统。
  • 3
    Symbolic logic is often divided into two branches, propositional logic and predicate logic.
    符号逻辑往往分为两个分支,命题逻辑和谓词逻辑。
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/2/15 8:28:41