谓词演算 meaning in English
first-order logic
predicate calculus
predicate logic
predicative calculus
Examples
- The atomic formula is called atom for short in predicate calculus
在谓词演算中,有时将原子公式简称为原子。 - This is not expressible as a first - order predicate calculus property
这就是一个一阶谓词演算不可表述的属性。 - Also , first - order predicate calculus isn ' t good enough anyway
同时，从各方面来说，一阶谓词演算都不是足够好。 - This kind of assertion seems to require special language extensions and has led people to suggest introducing first - order predicate calculus
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。 - This kind of assertion seems to require special r nlanguage extensions and has led people to suggest introducing r nfirst - order predicate calculus
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。