您要查找的是不是：
- MP(superscript 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)系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
- propositional calculus system 命题演算系统
- In this paper, a new type of algebra is introduced, which is an algebraic abstract of MP(superscript M) system just as Boolean algebra is an algebraic abstract of two-valued propositional calculus. 本文通过在MP(上标M)系统上建立一个代数系统，对MP(上标M)系统进行了代数抽象，讨论了MP(上标M)系统的代数性质。
- As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic units. 命题演算是谓词演算的反面，运用尚未分机的简单命题而不是谓词来当成基本（原子）单元。
- A FORMULATION OF PROPOSITIONAL CALCULUS 命题演算的一种表述
- basic replacement theorem of propositional calculus 命题演算的基本置换定理
- propositional calculus form system 命题演算形式系统
- formal transformation of propositional calculus 命题演算的变形规则
- independence of the axiom of propositional calculus 命题演算公理的独立性
- rule of forming propositional calculus 命题演算的形成规则
- To the questions of propositional calculus on intuitionistic fuzzy logic (IFL), a synthetic method for finding the truth of IFL propositions using membership and hesitancy degree is proposed. 摘要针对直觉模糊逻辑及命题演算，提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法。
- differential and integral calculus system 积分微分系统
- Application of Wu's Method in Propositional Calculus 吴方法在命题逻辑中的应用
- completeness of axiom systems of propositional calculus 命题演算公理系统的完备性
- I suppose you also have a caste system in your society. 我想你们的社会里也有一种等级制度。
- The right to dissent is part of our political system. 有持异议的权利是我们政治体制的组成部分。
- Do you know how to log in to the system? 你知道怎么登录进入这个系统吗？
- Public opinion was against the old feudal system. 公众舆论反对旧的封建制度。
- The system works on the principle that heat rises. 该项装置是按照热力上升的原理运转的。
- OSC: An Open Situation Calculus System 一个开放式情景演算系统的研究
