该词条未找到_海词词典

您要查找的是不是：

minimal propositional calculus 极小命题演算
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)系统的代数性质。
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)系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
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. 摘要针对直觉模糊逻辑及命题演算，提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法。
Application of Wu's Method in Propositional Calculus 吴方法在命题逻辑中的应用
completeness of axiom systems of propositional calculus 命题演算公理系统的完备性
We stayed with friends, so our expenses were minimal. 我们住在朋友家，所以我们的花费很小。
Fortunately, the storm only did minimal damage. 很幸运,暴风雨造成的破坏不大。
The need for breadboarding is minimal. 要进行的实验很少。
Property speculation was minimal. 物业炒卖活动已经沉寂下来。
propositional calculus 命题演算
She gained only minimal recognition for her work. 她的工作仅仅得到极少的赞誉。
The damage to the car was minimal. 汽车受到的损坏很小。