单词盒子

propositional calculus

P 开头单词

基本解释

  • [数] 命题演算

同根派生

     

英汉例句

    双语例句

  • This paper deals with the formal system of propositional calculus of medium logic (MP).
    本文讨论了中介逻辑命题演算（MP）的形式系统。
  • 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.
    系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
  • In this paper, A new retrieval mechanism of database is investigated based on quantified propositional calculus of Fuzzy Logic. It Can be used to process the more general fuzzy database retrieval.
    本文从基于模糊逻辑的量化命题演算出发，探究一个新的数据库查询机制，用以处理更一般的量化命题意义的模糊数据库查询。

词组短语

    短语

  • completeness of propositional calculus 命题演算的完备性
  • medium propositional calculus 中介命题演算
  • Medium Logic Propositional Calculus 中介逻辑命题演算
  • assignment in propositional calculus 命题演算指派
  • modal propositional calculus s 模态命题演算S

英英字典

    柯林斯英英字典

  • the system of symbolic logic concerned only with the relations between propositions as wholes, taking no account of their internal structure &rarrcompare predicate calculus

专业释义

    数学

  • 命题演算

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

  • 命题演算

    • 计算机科学技术

  • 命题演算