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

. 武汉大学国际软件学院唐存琛 刘峰 第三章 一阶逻辑 3.1 一阶逻辑基本概念 3.2 一阶逻辑等值演算 本章知识点： 3.1 一阶逻辑基本概念 3.1.1 命题逻辑的局限性 3.1.2 个体词、谓词与量词 个体常项、个体变项、个体域、全总个体域 谓词常项、谓词变项 全称量词、存在量词 3.1.3 一阶逻辑命题符号化 3.1 一阶逻辑基本概念(续) 3.1.4 一阶逻辑公式与分类 一阶语言（字母表、项、原子公式、合式公式） 辖域和指导变元、约束出现和自由出现 闭式 一阶语言的解释 一阶逻辑的分类 代换实例 3.1.1 命题逻辑的局限性 3.1.2 个体词、谓词与量词 一、个体词 二、谓词 ?? 谓词 （续）?? 例1 例2 三、量词 三、量词（续） 例4 例5 注意 课堂练习 解 3.1.4 一阶逻辑公式及分类 一、一阶逻辑语言 1、字母表 2、项 3、原子公式 4、合式公式 二、量词的辖域 例6 例7 三、一阶逻辑的解释 例8 实例(续) 闭式的性质 四、一阶逻辑的分类 五、代换实例 例9 本节习题 P.102~103: 3.4，3.5，3.10 (1)(2), 3.11 (3)(4) 3.14 (2), 3.15 (1)(3), 3.17 (1)(3) 3.2 一阶逻辑等值演算 3.2.1 一阶逻辑等值式与置换规