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
柯林斯英英字典
专业释义
- 命题演算
- 命题演算
- 命题演算