离散数学2_2.pptVIP

变元的约束 谓词演算的等价式与蕴含式 一、 给定α为一个谓词公式，其中有一部分公式形式为（?x）P（x）或（?x）P(x)。这里?、?后面所跟的x叫做量词的指导变元或作用变元，P（x）叫做相应量词的作用域或辖域。在作用域中x的一切出现，称为x在α中的约束出现，x亦称为被相应量词中的指导变元所约束。在α中除去约束的变元以外所出现的变元称作自由变元。自由变元是不受约束的变元，虽然它有时也在量词的作用域中出现，但它不受相应量词中指导变元约束，故可把自由变元看作是公式中的参数。 例题1 说明以下各式的作用域与变元约束的 情况。 (?x)(P(x)→Q(x)) 解：(?x)的作用域是P(x)→Q(x), x为约束变 元。 (?x)( P(x)→(?y) R(x,y)) 解：(?x)的作用域是(P(x)→(?y)R(x,y),(?y) 的作用域是R(x,y), x,y都是约束变元。 (?x)(?y)( P(x,y)? Q(y,z))?(?x) P(x,y) 解：(?x)和(?y)的作用域是(P(x,y)?Q(y,z)), 其中x,y是约束变元, z是自由变元。(?x)的作用域是P(x,y), 其中x是约束变元，y是自由变元。在整个公式中，x是约束出现，y既是约束出现又是自由出现，z是自由出现。 d)?x(P(x)??xQ(x,z)→?yR(x,y))? Q(x,y) 解:(?x)的作用域是 (P(x)?(?x)Q(x,z)→(?y)R(x,y))，其中，x 和y都是约束变元，z是自由变元，但 Q（x,z）中的x是受?x的约束，而不是受?x的约束。最后的Q(x,y)中的x,y是自由变元。二、约束变元的换名为避免由于变元的约束与自由同时出现，引起概念 上的混乱，故可对约束变元进行换名。使得一个变元在一个公式中只呈一种形式出现，即呈自由出现或呈约束出现。为此，可以对公式α中的约束变元更改名称符号，这种遵守一定规则的更改，称为约束变元的换名。其规则为： （1）对于约束变元可以换名，其更改的变元名称范围是量词中的指导变元，以及该量词作用域中所出现的该变元，在公式的其余部分不变。 （2）换名时一定要更改为作用域中没有出现的符号为变元名称。例题2对(?x)(P(x)→R(x,y))?Q(x,y)换名。 解: 可换名为： （?z)（P(z)→R(z,y) ) ?Q(x,y)，正确 （?y）(P(y)→R(y,y))?Q(x,y)错误(?z)(P(z)→R(x,y))?Q(x,y)错误因为后两种更改都将使公式中量词的约束范围有所变动。三、自由变元的换名 对于公式中的自由变元，也允许更改，这种更改叫做代入。自由变元的代入，亦需遵守一定的规则，这个规则叫做自由变元的代入规则，现说明如下： （1）对于谓词公式中的自由变元，可以作代入，代入时需对公式中出现该自由变元的每一处进行。 （2）用以代入的变元与原公式中所有变元的名称不能相同。 例题3对（?x）(P(y)?R(x,y))代入。 解: 对y施行代入，经代入后公式为(?x)(P(z)?R(x,z))正确(?x)(P(x)?R(x,x))错误(?x)(P(z)?R(x,y))错误这两种代入都是与规则不符的。注意： 量词作用域中的约束变元，当论域的元素是有限时，客体变元的所有可能的取代是可枚举的。 量词对变元的约束，往往与量词的次序有关。当命题中有多个量词，我们约定从左到右的次序读出。需要注意的是量词次序不能颠倒，否则将与原命题意义不符。例如 ：… 一、几个定义： 定义2-5、1 给定任何两个谓词公式wffA和wffB，设它们有共同的个体域E，若对A和B的任一组变元进行赋值，所得命题的真值相同，则称谓词公式A和B在E上是等价的，并记作：A?B 。 定义2-5、2 给定任意谓词公式wffA,其个体域为E，对于A的所有赋值，wffA都为真，则称wffA在E上是有效的（或永真的）。定义2-5、3 一个谓词公式wffA，如果在所有赋值下都为假，则称该wffA为不可满足的。定义2-5、4 一个谓词公式wffA，如果至少在一种赋值下为真，则称该wffA为可满足的。有了谓词公式的等价和永真等概念，就可以讨论谓词演算的一些等价式和蕴含式。 （1）命题公式的推广： 在命题演算中，任一永真公式，其中同一命题变元，用用一公式取代时，其结果也是永真公式，我们可以把这个情况推广到谓词公式之中。例如： 由P→Q?┒P?Q得到 （?x）(P(x)→Q(x))?(?x)(┒P(x)?Q(x)) 由P?┒P?F 得到： (?x)H(x,y)?┒(?x)H(x,y)?F (?x)P(x)?(?y)R(x，y) ?┒(┒(?x)P(x)?┒(?y)R(x,y))