您要查找的是不是：
- The atomic formula is called atom for short in predicate calculus. 在谓词演算中，有时将原子公式简称为原子。
- Also, first-order predicate calculus isn't good enough anyway. 同时，从各方面来说，一阶谓词演算都不是足够好。
- This is not expressible as a first-order predicate calculus property. 这就是一个一阶谓词演算不可表述的属性。
- There are many sorts of software in my computer. 我的计算机里有很多软件。
- Easy operation and be able to do many sort of hairstyle. 操作简单,可变化多样发型。
- In the refutation tree of predicate calculus, the proved conjunctive formula. 在谓词演算的反驳树中,被证明的合式公式。
- Also predicate calculus, which studies the internal structure of simple. 也叫谓语演算,它研究简单马那瓜体的内部结构。
- A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax. 一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
- One simple chapter subheading, `Language As An Algebra', succinctly describes the theme.Propositional calculus, Boolean algebra, lattices and predicate calculus are the main areas examined. 代数与一行为的套严格的规章联合在一起无异于一个准确的表达式。
- As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic units. 命题演算是谓词演算的反面，运用尚未分机的简单命题而不是谓词来当成基本（原子）单元。
- In vast working area, so that the adjuster that sensor and appearance need to have much sort examines. 在宽广的工作区，传感器及仪表需有多种类的校正器以便检验。
- Do you know how many sorts of Chinese rose in the world? You can hazard a guess. 你知道世界上有多少种月季花?你大胆猜一下。
- connectives in predicate calculus 谓词演算的连接词
- connective in predicate calculus 谓词演算中的连接词
- But I have the faintest idea of what to buy since there are so many sorts to choose from. 但我不知道买什么好?因为种类太多了，我都挑花了眼。
- interpretation of predicate calculus 谓词演算的解释
- predicate calculus with identity 带恒等式的谓词演算
- There are also many sorts of soybean goods,ie,bean curd and soybean milk,which are healty,sweet and can reduce weight. 豆制品的各类也很多，如豆腐和豆浆，都是健康美味又减肥的。
- The output signal of integrated optic gyroscope(IOG)is mixed up with many sorts of noises. 集成光学陀螺的输出信号叠加了多种噪声成分,干扰了有用信息的检测。
- pure predicate calculus of first order 一阶纯谓词演算
