谓词逻辑中的关系推理

分享到：

<正> 我们曾经说过,传统逻辑有一个重大缺陷,就是没有关系推理。数理逻辑克服了传统逻辑的局限性,开拓了新的逻辑领域,关系理论就是其中的一个重要方面。这一讲介绍一些简单的关系推理形式。令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页)       [继续阅读本文]