《离散数学课件》谓词逻辑.pptVIP

*/66 自由变元和约束变元 定义3：一个变元x 若在公式中有自由出现，则称此变元为自由变元； 若有约束出现，则称为约束变元。 例 ?x(A(x，y)) x为约束变元， y为自由变元，不受全称量词约束，可以看作为公式中的参数。 */66 例 ?x(p(x)??yQ(x,y)) 指出上述公式的指导变元、辖域、约束变元和自 由变元。 解：由?x后的()，x是指导变元，?x的辖域是后面整个式子 p(x)??yQ(x,y) ， y是指导变元，辖域仅Q(x，y)此部分。 x两次出现均是约束出现，y的一次出现是约束出现，故x，y是约束变元，而不是自由变元。 */66 ?x(A(x，y)??y(B(x，y)?C(z))) 其中, 变元y既有约束出现又有自由出现。 对约束变元进行改名，使得: 3.3.2 改名和代入 同一个变元要么为约束出现，要么为自由出现，同时使不同的量词所约束的变元不同名. 一、改名（换名） */66 改名的规则 (1) 改名是对约束变元而言，自由变元不能改名，改名时应对量词的指导变元及其作用域中所出现的约束变元处处进行； (2) 改名前后不能改变变元的约束关系； (3) 改名用的新名应是该作用域中没有使用过的变元名称。 例： ?x(A(x，y)??y(B(x，y))) 解