12谓词逻辑课件.pptVIP

 第二章 谓词逻辑 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）。存在量词 的辖域是