累计查询 0.00 亿次

propositional calculus

  • 命题演算：一种逻辑系统，用于处理命题的真值和关系，通常用于分析和推理复杂的命题结构。

双语例句

  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系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。

网络短语

  • modal propositional calculus s
    模态命题演算S
  • fuzzy propositional calculus
    模糊命题演算
  • propositional calculus system
    命题演算系统
  • medium propositional calculus
    中介命题演算
  • modal propositional calculus t
    模态命题演算T

同义词

calculus of proposition
[数]命题演算

英英释义

  • n.a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them