离散数学第10章 谓词逻辑.pptVIP

第10章 谓词逻辑 为什么要研究谓词逻辑？ ① 为了刻画命题内部的逻辑结构。 命题逻辑中主要研究命题和命题演算，原子命题是命题演算的基本单位。 命题逻辑不再对原子命题进行分解 两个原子命题之间，常常有一些共同特征。例如：张三是个大学生，李四是个大学生。 但命题逻辑却无法研究命题内部的逻辑结构及命题之间的内在联系。 ② 命题逻辑在推理方面存在局限性，有些简单的论断也不能用命题逻辑进行推证。 例如无法判断著名的“苏格拉底三段论”的正确性。 苏格拉底三段论： 令 P:所有的人都是要死的， Q:苏格拉底是人， R:所以苏格拉底是要死的。 在命题逻辑中，只能用 （P ∧ Q） ?R 表示上述命题，但它不是重言式。 所以，这个简单而著名的论断就无法用命题逻辑予以推证。 原因是：P,Q,R这样的表示太粗略，没有把它们之间的内在联系反映出来。 办法：要反映这种内在联系，就要对原子命题作进一步的分析，分析出其中的客体、谓词、量词等，研究它们之间的形式结构及逻辑关系，总结出正确的推理形式和规则。 这就是谓词逻辑所研究的内容。 谓词逻辑也叫一阶逻辑。 基本知识点： 1、个体词 2、谓词 3、量词 4、基于谓词逻辑的命题符号化 基本概念： 1、个体词：可以独立存在的具体的或抽象的客体 个体常元：具体的或特定，一般用a,b,c,…表示 个体变元：抽象的或泛指的，一般用x