第2章谓词逻辑-3.pptVIP

第二章 谓词逻辑2.3 变元的约束 2.3.1变元的约束 定义2.3.1:在谓词公式中,形如(?x)P(x)和(?x)P(x) 的部分,称为谓词公式的x约束部分. (?x)P(x)或 (?x)P(x)中的x叫做量词的指导变元或作用变元， P(x)称为相应量词的作用域或辖域。 在?x和?x的辖域中，x的所有出现都称为约束出 现，相应的x称为约束变元; P(x)中除约束变元以 外出现的变元称为是自由变元。 对于给定的谓词公式，能够准确地判定它的辖域、约束变元和自由变元是很重要的。 通常，一个量词的辖域是某公式A的一部分，称为A的子公式。因此，确定一个量词的辖域即是找出位于该量词之后的相邻接的子公式，具体地讲： 例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)) 定义2.3.2: 设A为任意一个公式，若A中无自由出现的个体变元，则称A为封闭的合式公式，简称闭式。 由闭式定义可知，闭式中所有个体变元均为约束出现。 例如，(?x)(P(x)?Q(x))是闭式， 和(?x)(?y)(P(x)?Q(x,y))是闭式， 而(?x)(P(x)?Q(x,y))和(?y)(?z)L(x,y,z)不是闭式。 说明: (1)n元谓词公式A(x1，x2,... ,xn) 中有n个自由变元,若对其中的k(k≤n)个进行约束,则构成了n-k元谓词;如果一个公式中没有自由变元出现,则该公式就变成了一个命题 (2)一个公式的约束变元所使用的名称符号是无关紧要的,如(?x)M(x)与(?y)M(y)意义相同. 2.3.2 约束变元的换名与自由变元的代入规则 在例1中,一个变元在同一个公式中既是自由 出现又是约束出现, 这样在理解上容易发生混淆.为 了避免这种混乱,可对约束变元进行换名. 换名规则: (对约束变元而言） 对约束变元进行换名,使得一个变元在一个公式中 只呈一种形式出现. 例1: ?x( P(x)?R(x,y))∧L(x,y) 代入规则（对自由变元而言） 对公式中自由变元的更改称为代入 (1)对于谓词公式中的自由变元可以作代入,代入时需要对公式中出现该自由变元的每一处进行; (2)用以代入的变元与原公式中所有变元的名称不能相同. 例如对例1中的公式?x( P(x)?R(x,y))∧ L(x,y) 自由变元y用z来代入,得 ?x( P(x)?R(x,z))∧L(x,z) 小结：本节介绍了约束变元、自由变元的概念，重点掌握约束变元的换名与自由变元的代入. 作业: P43: 1, 2，3 *计算机科学与技术学院 * ①若量词后有括号，则括号内的子公式就是该量词的辖域； ②若量词后无括号，则与量词邻接的子公式为该量词的辖域。 判定给定公式A中个体变元是约束变元还是自由变元，关键是要看它在A中是约束出现，还是自由出现。 (1)约束变元可以换名,其更改的变元名称范围是量词中的指导变元以及该量词作用域中所出现的该变元,公式的其余部分不变. (2)换名时一定要更改为作用域中没有出现的变元名称. ?x( H(x,y)??y(W(y)∧L(x,y,z))) 换名为?t( P(t)?R(t,y))∧L(x,y) 换名为?x(H(x,y)??s(W(s)∧L(x,s,z))) *计算机科学与技术学院