之间的桥梁，因此有着极高的理论与应用价值。　　其二，谓词逻辑部分的数学本质是引入变量与函数的思想。　　从数学本质上看，谓词逻辑就是把变量与函数的思想引入逻辑。在这样的视觉下，那些基本概念就变得很清晰：个体变项是变量、谓词是函数、个体域是定义域、属性谓词是一元函数、关系谓词是多元函数...。然后再一次进行代数化过程：符号
(10/22)
下页
上页
返回列表
返回