您要查找的是不是：
- 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. 这就是一个一阶谓词演算不可表述的属性。
- 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. 命题演算是谓词演算的反面，运用尚未分机的简单命题而不是谓词来当成基本（原子）单元。
- connectives in predicate calculus 谓词演算的连接词
- connective in predicate calculus 谓词演算中的连接词
- interpretation of predicate calculus 谓词演算的解释
- predicate calculus with identity 带恒等式的谓词演算
- pure predicate calculus of first order 一阶纯谓词演算
- Atomic formula in predicate calculus 谓词演算中的原子公式
- Predicate Calculus and Program Semantics, 谓词演算与程序语义
- predicate calculus of the third order 三阶谓词演算
- FIRST - ORDER PREDICATE CALCULUS 一阶谓词演算
- symbolic series of predicate calculus 谓语演算符号系列
- first order predicate calculus formal system 一阶谓词演算形式系统
- annotated predicate calculus (APC) 注解谓词演算
