变元的约束.ppt

 第二章 谓词逻辑 2．3 变元的约束 一个谓词公式中的所有个体变元被量化以后便成为命题。分析一个谓词公式，看它是否成为命题，必须看它被量化的情况。 2．3．1　定义 定义2-9在谓词公式中，被量化的个体变元称为约束变元。 定义2-10在谓词公式中，量词的作用范围称为辖域。在量词辖域中，约束变元的一切出现称为约束出现。 定义2-11在谓词公式中，未被约束的变元称为自由变元。自由变元的一切出现称为自由出现。 在谓词公式中存在自由变元有两种情况： （1）该变元在量词的辖域中，但与量词的指导变元不同名。 （2）该变元与量词指导变元同名，但不在量词的辖域中。 例2-11指出下列各式中量词的辖域、约束变元和自由变元。 （1） （2） （3） 解： （1） 全称量词 的辖域是 ，个体变元x为约束变元，x在辖域中的所有出现为约束出现。 （2） 全称量词 的辖域是 ，个体变元x是约束变元，x在辖域中的所有出现为约束出现（包括出现在 的命题公式中的x）。存在量词 的辖域是 ,y为约束变元。 （3） 存在量词 的辖域是 ，其中 的个体变元x受到存在量词 的约束，个体变元y受到全称量词 的约束，个体变元z未受约束，是自由变元； 命题公式 中的x除受存在量词 的约束外，又受全称量词 的约束，以最内层的全称量词 的约束为准，其中的y未受约束，是自由变元。 【 说明 】 （1）如果一个个体变元受到多重约束，则最内层辖域的约束变元以最后一次约束为准。 （2）如果一个谓词公式中没有自由变元，则该公式为命题。 （3）若至少有一个个体变元未被约束，则该谓词公式为命题函数。 2．3．2 约束变元的换名 在谓词公式中，一个个体变元可能处在不同量词辖域内，或者一个个体变元受到多重约束。例如 在公式的前件中，y分别受到?y与?y 的两重约束，x、z为自由变元；在公式的后件中x、y均为自由变元。由于同一个体变元在同一命题公式中受到不同量词的约束，容易引起混乱。 我们知道，一个公式中的个体变元与所使用的个体变元的符号无关。例如?xP(x)与?yP(y) 的含义相同，都表示论域中个体具有P属性。 因此，我们可以更改公式中约束变元的名称符号，这个过程称为约束变元的换名。 ? 约束变元的换名规则： ①只能对量词指导变元所指示的变元换名。 ②若某一量词指导变元一旦被换名，则辖域中该变元都应换成相同名称。即换名一致性。 ③换名时一定要换成公式中未出现的名称。 例2-12 对下列谓词公式的约束变元进行换名 （1） （2） （3） （4） ·解（1） ：公式中的变元x分别受到量词 约束，z为自由变元。可将受全称量词约束的变元x 换名为y，得题公式： 解:公式中全称量词的辖域为(P(x)→?x Q(x))，辖域中的x受到全称量词的约束，又受到存在量词的约束。可将受存在量词约束的变元换名为y，得公式： 解：公式前件的变元y受到两重约束，P(y)受到全称量的约束，Q(x,y,z)中的y受到存在量词的约束，后件的变x,y都是自由变元。可将受全称量词约束的变元y换为u，受存在量词约束的变元y换为v。得公式： 解：全称量词的辖域中的个体变元为x，不变。 存在量词辖域中的个体变元 x 换为v，全称量词辖域中的个体变元y 换为m，得谓词公式： 2．3．3 自由变元的代入 由于谓词公式中的同一个个体变元可以是约束变元，也可以是自由变元，容易引起概念上的混乱。为了使谓词公式结构清晰，除前面介绍的对约束变元换名外，还可以对自由变元进行代入。改变谓词公式中自由变元的符号名称，称为自由变元的代入。自由变元代入的规则与约束变元类同。 ? 自由变元规则： ①某一自由变元被代入，则公式中同名自由变元都应同时被代入，即代入一致性。 ②代入的符号应与公式中的已有符号不同名。 例如： 分析：存在量词