第四章 谓词逻辑及研螺算.pptVIP

第四章 谓词逻辑及演算;§4.1 谓词与个体 我们知道，命题演算的基本研究单位是原子命题，在命题演算中，原子命题是不能再分割的了。这对研究命题间的关系是比较合适的。但是，在进一步研究时就会发现，仅仅命题演算对我们是很不够的并且也不充分，比如：三段论在命题演算系统中是无法完成的。 例如： 所有的科学是有用的。 数理逻辑是科学。 所以，数理逻辑是有用的。 又例如：凡人必死。 张三是人 故张三必死。; 上述两个例子的主要原因就是在于这种推理中需要对原子命题作进一步分解，在上述两个例子中，每个例子三个命题间，具有必然的内在逻辑关系，只有对这种内存逻辑联系深入研究后，才能解决形式逻辑中的一些推理问题。谓词演算正是为了这样的目的，换言之也就是对原子命题进行进一步的分解。 在谓词演算中，将原子命题分解为谓词与个体两部分，在上例中，“数理逻辑是科学”即主语“数理逻辑”与谓语“是科学”，“张三是人”中的“张三”是主语，“是人” 为谓语。换言之在数理逻辑中将主语称为个体，将谓语称为谓词。 所谓个体既是可以独立存在的物体。它可以是抽象的，也可以是具体的，如：鲜花代表团，自行车，自