您要查找的是不是：
- Prenex normal form of the first order logic propositional is the key to propositional logic. 对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；
- 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)系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- Inference of the obverse of a proposition. 换质法推导一个命题的方法
- This is the inverse of his earlier proposition. 这和他早些时候提的建议截然相反。
- A proposition obtained by conversion. 逆命题通过换位得到的命题
- one of the substantive phrases in a logical proposition. 逻辑命题当中的主要短语之一。
- Loosely, a mathematical or logic operator. 不严格地说，一种数学或逻辑运算符。
- In a logical proposition, propositions are brought into equilibrium with one another, and the state of equilibrium then indicates what the logical constitution of these propositions must be. 在逻辑命题中各命题之间达到平衡，而这种平衡状态则指明这些命题在逻辑上必须怎样构成。
- I want, on the one hand, to explain what the general propositional form is by analyzing “logical constants”;on the other hand, to reveal the tautological character of the logical proposition. 首先从分析“逻辑常项”入手说明维特根斯坦所说的命题的普遍形式究竟是什么，并揭示逻辑命题的重言式的特征。
- one of the substantive phrases in a logical proposition 逻辑命题当中的主要短语之一
- A practitioner of a system of logic. 逻辑学家使用某一逻辑体系的人
- Keeping a shop in this village is not a pay proposition. 在这个村子里开设商店是一桩亏本的买卖。
- There is no logic in what she says. 她讲的话没有道理。
- Socrates laid the foundations of logic. 苏格拉底奠定了逻辑学的基础。
- His thinking goes against all logic. 他的思维完全不合逻辑。
- There's no logic in spending money on things you don't need. 把钱花在不需要的东西上是没有道理的。
- 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. 他的建议在理论上可以，但不能付诸实现。
- 今日热词
-
- 深远海浮式风电平台 - deep-sea floating wind power platform
-
- 京雄高速公路 - Beijing-Xiongan expressway
-
- 农业及相关产业增加值 - the added value of agriculture and related industries
