04 一阶逻辑基本概牡念.pdf

离散数学 第4章 一阶逻辑基本概念 第4章 一阶逻辑基本概念 4-5章说明 4-5章说明 4.一阶逻辑基本概念 一阶逻辑命题符号化 一阶逻辑公式及其解释 5.一阶逻辑等值演算与推理 一阶逻辑等值式与置换规则 一阶逻辑前束范式 一阶逻辑推理理论 2 本章说明 本章说明 本章的主要内容 – 一阶逻辑基本概念、命题符号化 – 一阶逻辑公式、解释及分类 本章与后续各章的关系 – 克服命题逻辑的局限性 – 是第五章的先行准备 3 一阶逻辑 也称一阶谓词逻辑 或谓词逻辑 4 引言 命题逻辑的局限性 在命题逻辑中，研究的基本单位是简单命题，对简单命 题不再进行分解，并且不考虑命题之间的内在联系和数 量关系。 例如： 所有的人都是要死的，苏格拉底是人，所以苏格拉底是 要死的。 这个简单而有名的苏格拉底三段论，却无法用命题逻辑 予以证明。 5 命题逻辑表示法：无法把它所描述的事物的结构及逻 辑特征反映出来，也不能把不同事物间的共同特征表 述出来。 p：老李是小李的父亲 q：李白是诗人 r：杜甫也是诗人 一阶逻辑所研究的内容 为了克服命题逻辑的局限性，将简单命题再细分，分 析出个体词、谓词和量词，以期达到表达出个体与总 体的内在联系和数量关系。 6 本章内容 4.1 一阶逻辑命题符号化 4.2 一阶逻辑公式及解释 本章小结 习题 作业 7 4.1一阶逻辑命题符号化 一阶逻辑命题符号化的三个基本要素 – 个体词 – 谓词 – 量词 8 个体词及相关概念 个体词及相关概念 个体词：指所研究对象中可以独立存在的具体或抽 象的客体。 举例 – 命题：电子计算机是科学技术的工具。 个体词：电子计算机。 – 命题：他是三好学生。 个体词：他。 说明 个体词一般是充当主语的名词或代词。 9 个体词及相关概念 个体词及相关概念 个体常项：表示具体或特定的客体的个体词，用小写字母a, b,c，…表示。 个体变项：表示抽象或泛指的客体的个体词，用x,y,z,… 表 示。 个体域（或称论域）：指个体变项的取值范围。 – 可以是有穷集合，如{a, b, c}, {1, 2}。 – 可以是无穷集合，如N,Z,R,…。 全总个体域（universe）——宇宙间一切事物组成 。 本教材在论述或推理中，如果没有指明所采 说明 用的个体域，都是使用的全总个体域。 10 谓词及相关概念 谓词（predicate）是用来刻画个体词性质及个体词之间相 互关系的词。 (1) π是无理数。 π是个体常项，“…是无理数”是谓词，记为F，命题符号化 为F(π) 。 (2) x是有理数。 x是个体变项，“…是有理数”是谓词，记为G，命题符号化 为G(x)。 (3) 小王与小李同岁。 小王、小李都是个体常项，“…与…同岁”是谓词，记为H， 命题符号化为H(a,b) ，其中a：小王，b：小李