【2017年整理】离散与数学24变元的约束.pptVIP

第二章谓词逻辑 2-4 变元的约束 授课人：李朔 Email:chn.nj.ls@ 一、基本概念 在给定的一个合式公式?x (A)或?x(A)中 称x为指导变元或作用变元。 称A为相应量词的辖域或作用域，在辖域中x的所有出现称为约束的。 A中不是约束出现的变元称自由变元。 自由变元有时也在量词的作用域中出现，但它不受相应量词中指导变元的约束，故可把自由变元看成公式中的参数。 一、基本概念 例：指出下列各公式中指导变元、量词辖域、自由变元和约束变元。 1）?x (F(x)? ?yH（x, y）)； 2）?x F(x) ? G（x,y）； 3）?x ?y（R(x, y) ? L(y, z)）? ?x H(x, y)。 一、基本概念 例：指出下列各公式中指导变元、量词辖域、自由变元和约束变元。 1）?x (F(x)? ?yH（x, y）)； 2）?x F(x) ? G（x,y）； 3）?x ?y（R(x, y) ? L(y, z)）? ?x H(x, y)。 解： （1）?yH（x, y）中，y为约束变元，辖域为H(x, y)，其中y为约 束出现，x是自由出现。在整个公式中，x为指导变元，?x的辖域为（F(x) ? ?y H（x, y）），x, y都是约束出现。 （2）在?x F(x)中，?x辖域为F(x)，x为约束出现 G（x, y）中，x, y都是自由出现。在整个公式中