哈尔滨理工大喾啐斛生程 离 第4章一阶逻辑基本概念 计算机系
第4章 一阶逻辑基本概念 离 散 数 学 哈尔滨理工大学本科生课程 计算机系
本章说明 口本章的主要内容 一阶逻辑基本概念、命题符号化 阶逻辑公式、解释及分类 口本章与后续各章的关系 克服命题逻辑的局限性 是第五章的先行准备
本章说明 q本章的主要内容 – 一阶逻辑基本概念、命题符号化 – 一阶逻辑公式、解释及分类 q本章与后续各章的关系 –克服命题逻辑的局限性 –是第五章的先行准备
°引言 口命题逻辑的局限性 在命题逻辑中,研究的基本单位是简单命题,对简单命 题不再进行分解,并且不考虑命题之间的内在联系和数 量关系。 例如 所有的人都是要死的,苏格拉底是人,所以苏格拉底是 要死的。 口这个简单而有名的苏格拉底三段论,却无法用命题逻辑 予以证明。 口一阶逻辑所研究的内容 为了克服命题逻辑的局限性,将简单命题再细分,分析 出个体词、谓词和量词,以期达到表达出个体与总体的 内在联系和数量关系
引言 q 命题逻辑的局限性 在命题逻辑中，研究的基本单位是简单命题，对简单命 题不再进行分解，并且不考虑命题之间的内在联系和数 量关系。 q 例如： 所有的人都是要死的，苏格拉底是人，所以苏格拉底是 要死的。 q 这个简单而有名的苏格拉底三段论，却无法用命题逻辑 予以证明。 q 一阶逻辑所研究的内容 为了克服命题逻辑的局限性，将简单命题再细分，分析 出个体词、谓词和量词，以期达到表达出个体与总体的 内在联系和数量关系
°本章内 4.1一阶逻辑命题符号化 4.2一阶逻辑公式及解释 本章小结 习题 作业
本章内容 4.1 一阶逻辑命题符号化 4.2 一阶逻辑公式及解释 本章小结 习题 作业
°4.1一阶辑命将号化 口一阶逻辑命题符号化的三个基本要素 个体词 谓词 量词
4.1一阶逻辑命题符号化 q一阶逻辑命题符号化的三个基本要素 –个体词 –谓词 –量词 q