您要查找的是不是：
- On The Principal Norm Forms of Proposition Formulae 关于命题公式的主范式
- Inference of the obverse of a proposition. 换质法推导一个命题的方法
- This is the inverse of his earlier proposition. 这和他早些时候提的建议截然相反。
- well-formed propositional formula 命题公式
- A proposition obtained by conversion. 逆命题通过换位得到的命题
- The formula of the medicine is still a secret. 此药的配方仍是秘密。
- "How do you do?" is a polite formula. "您好。"是客气的套语。
- Keeping a shop in this village is not a pay proposition. 在这个村子里开设商店是一桩亏本的买卖。
- It was Hart who created the basic formula of the western film. 正是这个哈特创造了西部电影的基本格局。
- Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable. 给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。
- proposition formula 命题公式
- 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. 他的建议在理论上可以，但不能付诸实现。
- Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics. 命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。
- Tunnelling under the English Channel is a big proposition. 在英吉利海峡海底凿隧道是一个大问题。
- A formula for settling the border dispute has been worked out. 已拟定一个解决边界纠纷的方案。
- Managers and workers are still working out a peace formula. 劳资双方仍在商谈制订和解方案。
- They are working on the perfection of their new paint formula. 他们正在努力研制尽善尽美的新颜料配方。
- It's the formula for converting gallons into liters. 这是加仑与升的换算公式。
