苏州大学离散数学-谓词逻辑.pptVIP

谓词逻辑(主要内容) 2-1谓词的概念及表示 2-2命题函数与量词 2-3谓词公式与翻译 2-4变元的约束 2-5谓词演算的等价式与蕴含式 2-6前束范式 2-7谓词演算的推理理论 * 第二章 谓词逻辑 由第一章命题逻辑的学习了解到：命题逻辑主要研 究命题和命题演算，研究的基本单位是原子命题，并认为 原子命题不能再分解，但进一步研究发现，某些情况下必 须对原子命题进行再次分析，否则某些推理无法用命题逻 辑表示。 如著名的“苏格拉底三段论”：所有的人都是要死的， 苏格拉底是人，所以苏格拉底总是要死的。直觉判断该结 论是真，但在命题逻辑中无法解决。故必须对原子命题的 成分，结构和命题间的共同属性等作进一步分析，而这正 是本章“谓词逻辑” 研究的主要内容。 谓词逻辑又称一阶谓词逻辑，狭谓词逻辑，初等逻 辑或量词理论等。 2-1 谓词的概念与表示 命题是反映判断的句子，具有真假意义；一般情况下，反映判 断的句子是由主语和谓语两部分组成。 如 “电子计算机是科学计算的工具”，其中“电子计算机” 是主语，又叫客体（或个体），可独立存在，即可以是具体的，又 可以是抽象的。 “是科学计算的工具”是谓语，又叫谓词，用以刻划客体的性 质和关系。 如：张三是个大学生，李四是个大学生。 此两命题可用两个不同的符号：P