一阶逻辑离散数学.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 一阶逻辑等值式与置换规则 等值式的定义 基本等值式 应用规则 置换规则 换名规则 代替规则 3.2.2 一阶逻辑的前束范式 3.2.1 一阶逻辑等值式 一、等值式的定义 二、基本等值式 三、 应用规则 （1）、置换规则 （2）、换名规则 （3）、代替规则 实例 例1 将下列公式化成与之等值的公式，使其没有既是约束出现、又自由出现的个体变项。 (1) ?xF(x,y,z) ? ?yG(x,y,z) 实例 例2 设个体域D={a,b,c}, 消去下面公式中的量词: (1) ?x(F(x)?G(x)) 实例 实例 例4 证明下列等值式: ? ?x(M(x)?F(x)) ? ?x(M(x)? ?F(x)) 3.2.2 前束范式 一、前束范式的定义 例 二、前束范式存在定理 求前束范式的步骤 （1） 消去连接词?和 ? （2）消去双重否定，利用德.摩根律以及量词否定等值式将?移至原子公式之前 （3）若有必要可将约束变元换名 （4）利用基本等值式进行等值演算将量词移至公式的最左边 例5 例5（续） 课堂练习 1、证明下列等值式: （1） ? ? x(F(x) ? G(x)) ? ?x(F(x) ? ?G(x)) （2） ? ?x ?y(F(x) ?G(y) ?L(x,y)) ? ?x?y(F(x) ?G(y) ? ?L(x,y)) 本节习题 P.103~104: 3.20，3.24，3.29，3.32 例8 给定解释I 如下: (a) 个体域 D=N (b) (c) (d) 谓词 说明下列公式在 I 下的含义, 并讨论其真值 (1) ?xF(g(x,a),x) ?x(2x=x) 假命题 (2) ?x?y(F(f(x,a),y)?F(f(y,a),x)) ?x?y(x+2=y?y+2=x) 假命题 (5) F(f(x,a), g(x,a)) (4) ?xF(f(x,x),g(x,x)) ?x(2x=x2) 真命题 ?x?y?z (x+y=z) 真命题 (6) ?x (F(x,y)?F(f(x,a), f(y,a))) ?x (x=y?x+2=y+2) 真命题 x+2=2x 不是命题 (3) ?x?y?zF(f(x,y),z) 定理3.1 闭式在任何解释下都变成命题. 例8 (1)~(4)都是闭式, 在I下全是命题. (5)和(6)不是闭式, 在I下(5)不是命题, (6)是命题 永真式(逻辑有效式): 无成假解释 矛盾式(永假式): 无成真解释 可满足式: 至少有一个成真解释 在一阶逻辑中, 公式的可满足性(永真性,永假性)是不可 判定的,即不存在算法能在有限步内判断任给的公式是否 是可满足式(永真式,矛盾式) 定义3.9 设A0是含命题变项p1, p2, …,pn的命题公式, A1,A2,…, An是n个谓词公式, 用Ai处处代替A0中的pi(1?i?n), 所得公式 A称为A0的代换实例。 例如 F(x)?G(x), ?xF(x)??yG(y) 等都是p?q的代换实例 。 定理3.2 重言式的代换实例都是永真式，矛盾式的代换实 例都是矛盾式。 非永真式的可满足式 (2) ?(?xF(x))?(?xF(x)) 这是 ?p?p 的