高校问答王者传奇苍月岛:高阶逻辑有什么用吗？
来源：百度文库 编辑：高校问答 时间：2024/04/29 20:27:21
高阶逻辑区别于一阶逻辑的其他方式是在构造中允许下层的类型理论。高阶谓词是接受其他谓词作为参数的谓词。一般的，阶为 ''n'' 的高阶谓词接受一个或多个(''n'' − 1)阶的谓词作为参数，这里的 ''n'' > 1。对高阶函数类似的评述也成立。
高阶逻辑更加富有表达力，但是它们的性质，特别是有关模型论的，使它们对很多应用不能表现良好。作为哥德尔的结论，经典高阶逻辑不容许(递归的公理化的)可靠的和完备的证明演算；这个缺陷可以通过使用 Henkin 模型来修补。