加林查网西语词典

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

专业释义

    數學

  • 命題縯算

    • 電子、通信與自動控制技術

  • 命題縯算

    • 計算機科學技術

  • 命題縯算