离散数学及其应用第2章 谓词逻辑.pptVIP

第二章 谓词逻辑（Predicate Logic） 2.2 谓词公式与翻译(Predicate formulae) 例2：在谓词逻辑中将下列命题符号化. （1）所有运动员都钦佩某些教练. （2）有些运动员不钦佩教练. 设：L(x):x是运动员 J(y):y是教练 A(x,y):x钦佩y (1) (?x)(L(x) ?（?y)(J(y)∧A(x,y))) (2)（?x)(L(x) ∧(?y)(J(y)? ┐A(x,y))) * 计算机科学与技术学院 第二章 谓词逻辑（Predicate Logic） 2.2 谓词公式与翻译(Predicate formulae) 例3：在谓词逻辑中将下列命题符号化. （1）那位戴眼镜的用功的大学生在看这本大而厚的巨著. （2）P63 (7) 解: (1)设：S(x):x是大学生. A(x):x戴眼镜. B(x):x用功. D(x):x是巨著. F(x,y):x看y. E(y):y是大的. G(y):y是厚的. a:那位 b:这本 (1)符号化为: A(a)∧B(a)∧S(a)∧D(b)∧E(b)∧G(b)∧F(a,b) * 计算机科学与技术学院 第二章 谓词逻辑（Predicate Logic） 2.2 谓词公式与翻译(Predicate formulae) （2）设：P(x,y):x在y连续. Q(x,y):x大于y. (2)符号化为: P(f,a)?(?ε)(Q(ε,0)?((?δ) Q(δ,0)∧ (?x) (Q(δ, )?Q(ε, )))) ?P(f,a)?(?ε)(?δ)(?x)(Q(ε,0)? (Q(δ,0)∧(Q(δ, )?Q(ε, )))). * 计算机科学与技术学院 第二章 谓词逻辑（Predicate Logic） 2.2 谓词公式与翻译(Predicate formulae) 小结：本节介绍了谓词合式公式的概念， 重点掌握谓词公式的翻译. 作业: P41 1，2 * 计算机科学与技术学院 第二章 谓词逻辑（Predicate Logic） 2.3 变元的约束(Bound of variable) 2.3 变元的约束(Bound of variable) 2.3.1 变元的约束 2.3.2 约束变元的换名与自由变元的代入 * 计算机科学与技术学院 第二章 谓词逻辑（Predicate Logic） 2.3 变元的约束(Bound of variable) 2.3.1变元的约束 (Bound of variable) 定义2.3.1:在谓词公式中,形如(?x)P(x)和(?x)P(x) 的部分,称为谓词公式的x约束部分. (?x)P(x)或 (?x)P(x)中的x叫做量词的指导变元或作用变 元，P(x)称为相应量词的作用域或辖域。 * 计算机科学与技术学院 第二章 谓词逻辑（Predicate Logic） 2.3 变元的约束(Bound of variable) 在?x和?x的辖域中，x的所有出现都称为约束出 现，相应的x称为约束变元; P(x)中除约束变元以 外出现的变元称为是自由变元。 例1： 1、?x( H(x,y)??y(W(y) ∧ L(x,y,z))) 2、 ?x( H(x)?W(y)) ? ?y( F(x) ∧L(x,y,z)) * 计算机科学与技术学院 第二章 谓词逻辑（Predicate Logic） 2.3 变元的约束(Bound of variable) 说明: (1)n元谓词公式A(x1，x2...xn) 中有n个自由变元,若对其中的k(k≤n)个进行约束,则构成了n-k元谓词;如果一个公式中没有自由变元出现,则该公式就变成了一个命题 (2)一个公式的约束变元所使用的名称符号是无关紧要的,如(?x)M(x)与(?y)M(y)意义相同. * 计算机科学与技术学院 第二章 谓词逻辑（Predicate Logic） 2.3 变元的约束(Bound of variable) 2.3.2 约束变元的换名与自由变元的代入规则 在例1中,一个变元在同一个公式中既是自由 出现又是约束出现, 这样在理解上容易发生混淆.为 了避免这种混乱,可对约束变元进行换名. 换名规则: (对约束变元而言） 对约束变元进行换名,使得一个变元在一个公式中 只呈一种形式出现. * 计算机科学与技术学院 第二章 谓词逻辑（Predicate Logic） 2.3 变元的约束(Bound of variable) (1)约束变元可以换名