您要查找的是不是：
- As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic units. 命题演算是谓词演算的反面，运用尚未分机的简单命题而不是谓词来当成基本（原子）单元。
- 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. 摘要针对直觉模糊逻辑及命题演算，提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法。
- 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)系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
- Inference of the obverse of a proposition. 换质法推导一个命题的方法
- A FORMULATION OF PROPOSITIONAL CALCULUS 命题演算的一种表述
- This is the inverse of his earlier proposition. 这和他早些时候提的建议截然相反。
- basic replacement theorem of propositional calculus 命题演算的基本置换定理
- A proposition obtained by conversion. 逆命题通过换位得到的命题
- propositional calculus form system 命题演算形式系统
- formal transformation of propositional calculus 命题演算的变形规则
- independence of the axiom of propositional calculus 命题演算公理的独立性
- Keeping a shop in this village is not a pay proposition. 在这个村子里开设商店是一桩亏本的买卖。
- rule of forming propositional calculus 命题演算的形成规则
- proposition calculus 命题演算
- The positive or negative character of a proposition. 命题的性质命题的肯定或否定的性质
- The students discussed the proposition that man is basically good. 学生们讨论了这么一个论点,即人性本善。
- His proposition is good in theory but cannot be put into practice. 他的建议在理论上可以，但不能付诸实现。
- Tunnelling under the English Channel is a big proposition. 在英吉利海峡海底凿隧道是一个大问题。
- This is not money-making proposition. 这不是个赚钱的事业。
