|
|||||
|
|
| 谓词逻辑中的关系推理 | |
| 引用本文： | 张家龙.谓词逻辑中的关系推理[J].思维与智慧,1983(5). |
| 作者姓名： | 张家龙 |
| 摘 要： | 我们曾经说过,传统逻辑有一个重大缺陷,就是没有关系推理。数理逻辑克服了传统逻辑的局限性,开拓了新的逻辑领域,关系理论就是其中的一个重要方面。这一讲介绍一些简单的关系推理形式。令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, |
| 本文献已被 CNKI 等数据库收录！ | |