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

 

单词 propositional calculus
释义
propositional calculus
  • 简明释义
  • 命题演算:一种逻辑系统,用于处理命题的真值和关系,通常用于分析和推理复杂的命题结构。
  • 网络释义
  • 1

    [数]?命题演算

    命题逻辑与谓词逻辑 命题逻辑(Propositional Logic或Sentential Logic)又称为命题演算(Propositional Calculus)是这样一个形式逻辑,其中,表达命题的公式能够被通过用逻辑联结词将原子命题组织而成,而且一个形式证明规则系统允许某个公式被...

  • 2

    ?命题逻辑

    ... 命题逻辑 propositional calculus; propositional logic 拚命 desperateness 诫命 commandment ...

  • 3

    ?命题统计

    ... propositional attitude 命题态度 propositional calculus 命题统计 propositional cohesiveness 命题的凝聚性 ...

短语
  • 双语例句
  • 1
    This paper deals with the formal system of propositional calculus of medium logic (MP).
    本文讨论了中介逻辑命题演算(MP)的形式系统。
  • 2
    MP~M is a 3-valued logic propositional calculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database.
    MP~M系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统。
  • 同近义词
随便看

 

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

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/2/13 6:24:56