离散数学--31-2一阶逻辑.ppt

课件 第3章 一阶逻辑 第3章 一阶逻辑 3.1 一阶逻辑基本概念 3.2 一阶逻辑等值演算 3.1 一阶逻辑基本概念 3.1.1 命题逻辑的局限性 3.1.2 个体词、谓词与量词 个体常项、个体变项、个体域、全总个体域 谓词常项、谓词变项 全称量词、存在量词 3.1.3 一阶逻辑命题符号化 3.1 一阶逻辑基本概念(续) 3.1.4 一阶逻辑公式与分类 一阶语言L （字母表、项、原子公式、合式公式） 辖域和指导变元、约束出现和自由出现 闭式 一阶语言L 的解释 永真式、矛盾式、可满足式 代换实例 命题逻辑的局限性 苏格拉底三段论 （1）所有的人都是要死的。P （2）苏格拉底是人。Q （3） 苏格拉底是要死的。R 应当有：P?Q?R 但当P,Q取1，而R取0时，真值为0 个体词与个体域 个体词: 所研究对象中可以独立存在的具体或抽象的客体 个体常项: 表示具体事物的个体词, 用a, b, c等表示 个体变项: 表示抽象事物的个体词, 用x, y, z等表示 个体域: 个体变项的取值范围 全总个体域: 宇宙间一切事物 例如 “若x是偶数, 则x能被2整除.” x、 偶数和2是个体词, 偶数和2是个体常项, x是个体变项 个体域可以是自然数集N, 整数集Z,…, 也可以是全总个 体域 谓词 谓词: 表示个体词