离散数学谓词逻辑.pptVIP

第二章 谓词逻辑 数理逻辑 在命题逻辑中，命题演算的基本单位是命题，不再对原子命题进行分解，故无法研究命题语句的结构、成份和内在的逻辑特征。 如果任何两个原子命题具有一些共同特征，那么欲表达这些共同特征，显然是不可能的事。这就使得在命题逻辑中，甚至无法处理一些简单而又常见的推理过程。 在命题的研究中，基于谓词分析的逻辑，称为谓词逻辑。 谓词逻辑是命题逻辑的扩充和发展。 本章重点 1.谓词公式 2.自然语言表述和谓词公式表示间的相互转化 3.基于谓词公式的推理 例子：我班有人能考上研究生。我班所有人都能考上研究生。 经典例子 苏格拉底三段论: 1)所有人都要死； 2)苏格拉底是人； 3)所以苏格拉底是要死的。 引入谓词 引入原因： 1)克服原子命题的不可再分在性，将主语和谓语分开； 2)原子命题不能描述数量关系。 一、基本三要素 个体与个体域：克服原子命题底不可再分性，可分为主语和谓语；个体：不依赖于人们的主观而独立存在的客观实体;是独立存在的客体，可以是具体事物也可以是抽象概念。个体域（D）：个体取值的范围。 全总个体域。 谓词：用于刻画个体的性质或者个体间的关系；－－谓词部分 量词(?、?) 量词的辖域（作用域） 例如 “猫