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

* 第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,…, 也可以是全总个