弗雷格(Frege)为这类困扰提供了一个非常有影响的解决方案:他说,存在是谓词,但不是一阶谓词(first-order predicate),而是二阶谓词(first-order predicate)。
基于8个网页-相关网页
First Order Predicate 一阶谓词 ; 一阶述词
First Order Predicate Calculus 一阶谓词逻辑 ; 一阶谓词演算 ; 第一阶述词演算
first order predicate logic [数] 一阶谓词逻辑 ; 叙述逻辑
first-order predicate logic 一阶谓词逻辑
distributed first-order predicate logic 分布一阶谓词逻辑
first-order predicate logics 一阶谓词逻辑
first-order predicate expression 一阶谓词公式
First-order Fuzzy Predicate Logic 一阶模糊谓词逻辑
以上来源于: WordNet
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.
这种情况下的断言似乎就需要实现特定的语言扩展,于是一些人建议引入一阶谓词演算。
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文档进行一阶谓词演算得出的。
应用推荐