pmcz.net
当前位置:首页 >> 高阶谓词 >>

高阶谓词

高阶逻辑区别于一阶逻辑的其他方式是在构造中允许下层的类型理论。高阶谓词是接受其他谓词作为参数的谓词。一般的,阶为 ''n'' 的高阶谓词接受一个或多个(''n'' − 1)阶的谓词作为参数,这里的 ''n'' > 1。对高阶函数类似的评述也成立。 高...

谓词逻辑也有高阶的啊,分为一阶谓词逻辑、二阶谓词逻辑、。。。 高阶谓词逻辑可以降阶为低阶谓词逻辑,一阶谓词逻辑可以转换为命题逻辑。

网站首页 | 网站地图
All rights reserved Powered by www.pmcz.net
copyright ©right 2010-2021。
内容来自网络,如有侵犯请联系客服。zhit325@qq.com