propositional calculus
基本解释
- [數] 命題縯算
英汉例句
- 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
柯林斯英英字典
专业释义
- 命題縯算
- 命題縯算
- 命題縯算