来源:《思维与智慧》1983年第05期 作者:张家龙
选择字号

谓词逻辑中的关系推理

分享到: 分享到QQ空间

<正> 我们曾经说过,传统逻辑有一个重大缺陷,就是没有关系推理。数理逻辑克服了传统逻辑的局限性,开拓了新的逻辑领域,关系理论就是其中的一个重要方面。这一讲介绍一些简单的关系推理形式。令R是一个二元谓词。对R(a,b)可以连续两次引用量词,得到以下四种形式: (x)(y)R(x,y):一切x和一切y有关系R, (x)(y)R(x,y):有的x和一切y有关系R, (x)(y)R(x,y):一切x和有的y有关系R,(本文共计5页)       [继续阅读本文]

下载本文订阅本刊

相关文章推荐

思维与智慧杂志1983年第05期
思维与智慧
主办:河北师范大学
出版:思维与智慧杂志编辑部
出版周期:旬刊
出版地:河北省石家庄市

本期目录