离散数学第二章第一节讲述.pptVIP

第二章 谓词逻辑 在命题逻辑中，研究命题和命题的演算。命题演算的基本单位是原子命题。在命题演算中，原子命题不再分解。命题逻辑在推证中有很大的局限性，有些简单的论断也不能用命题逻辑进行推证。 例如，对著名的“苏格拉底三段论”就无法判断其正确性：“所有的人都是要死的。苏格拉底是人，所以苏格拉底是要死的。” 为了克服命题逻辑的局限性，就需要深入分析命题的内部的逻辑结构。为此，必须对原子命题作进一步的分解，引入谓词逻辑的概念。 第二章 目录 第一讲 谓词的概念与量词 第二讲 谓词公式与翻译 第三讲 等价式、蕴含式及前束范式 第四讲 推理理论 第2-1讲 谓词的概念与量词 1. 谓词的概念 2. 命题函数 3. 个体域 4. 量词 5. 第2-1讲 作业 1、谓词的概念 命题是反映判断的句子。反映判断的句子由主语和谓语两部分组成。主语一般是客体；用以刻划客体性质或关系的部分即是谓语。在命题中作为主语的客体称为个体。而用以描述个体性质或几个个体间关系的部分称为谓词。 例如对“张三是大学生”和“李四是大学生” 这两个命题，个体分别是“张三”和“李四”，谓词都是“是大学生”。在作符号化处理时，用Ｐ表示“是大学生”，用ａ表示“张三”，用ｂ表示“李四”。上述两个命题可分别表示为Ｐ(ａ)和Ｐ(ｂ) ，从而把命题中的主语和谓语