谓词演算的英文

• first-order logic
• predicate calculus
• predicate logic
• predicative calculus

• 谓词    predicate
• 演算    perform mathematical calcula ...
• 狭谓词演算    restricted predicate calculus
• 二阶谓词演算    second-order predicate calculus
• 高阶谓词演算    high-order predicate calculus; higher order predicate calculus; higher-order predicate calculus
• 广义谓词演算    extended predicate calculus
• 三阶谓词演算    predicate calculus of the third order
• 谓词演算语言    predicate calculus language
• 一阶谓词演算    first-order logic; first-order predicate calculus; fopc
• 一元谓词演算    monadic predicate calculus; one place predicate calculus; unary predicate calculus
• 一阶纯谓词演算    pure predicate calculus of first order
• 带恒等式的谓词演算    predicate calculus with identity
• 基于谓词演算的方法    predicate calculus based method
• 全称量词 (一阶谓词演算)    universal quantifier in fopc
• 谓词演算中的连接词    connective in predicate calculus
• 介词演算    prepositional calculus
• 谓词    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• 演算    perform mathematical calculations; calculation; calculus◇演算器 exerciser
• 假谓词    false predicate
• 全谓词    total predicate
• 数谓词    numerical predicate; numerical readout
• 谓词的    predicative
• 谓词交    predicate intersection model
• 谓词名    predicate name
• 真谓词    truth-predicate

• 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
  这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
• In this paper , the original extended relational model has been improved by adopting mfm in the research of incomplete information database
  本文将三值逻辑谓词演算系统mf ~ m应用在不完全信息数据库的研究中，对原有的扩充关系模型做了改进。
• Informally , xquery is designed to be able to construct any xml document that can be computed from input xml documents using the power of the first - order predicate calculus
  Xquery被非正式地设计为可以构造xml文档，而这些xml文档是通过对输入的xml文档进行一阶谓词演算得出的。
• The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems . they are fit for dealing with incomplete information
  中介逻辑命题演算系统mp ~ m和中介逻辑谓词演算系统mf ~ m是一种适用于处理不完全信息的新的逻辑系统。
• So anything that you may want to express on a complex object that would seem to require first - order predicate calculus can be expressed actually quite nicely within the confines of the programming language
  所以对于一个复杂对象，任何看起来需要一阶谓词演算才能描述的东西，实际都可以在编程语言范畴内实现十分精细地表述。
• This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring . and a logic deduction system is put forward in this paper : refactoring reliability deduction system
  引入了一阶谓词演算和前后断言方法，并且自定义了一个重构可靠性证明的逻辑推理系统：重构可靠性推演系统。