导读 小伙伴们，你们好，今天小夏来聊聊一篇关于高阶谓词演算，关于高阶谓词演算简述的文章,网友们对这件事情都比较关注，那么现在就为大家来简...
小伙伴们，你们好，今天小夏来聊聊一篇关于高阶谓词演算，关于高阶谓词演算简述的文章,网友们对这件事情都比较关注，那么现在就为大家来简单介绍下，希望对各位小伙伴们有所帮助。
1、高阶谓词演算（higher-orderpredicatecalculus）即“广义谓词演算”。
2、广义谓词逻辑的形式系统。
3、详“高阶逻辑”。
文章到此就分享结束，希望对大家有所帮助。
标签：
免责声明：本文由用户上传，如有侵权请联系删除！