讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.
之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
比如在一个图类中，你可能想要表述的典型属性是该图没有回路。这就是一个一阶谓词演算不可表述的属性。
A typical kind of property that you might want to express, say, in a class invariant for a graph class, is that the graph has no cycles.
XQuery被非正式地设计为可以构造XML文档，而这些XML文档是通过对输入的XML文档进行一阶谓词演算得出的。
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文档进行一阶谓词演算得出的。
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.
应用推荐