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

第二章谓词逻辑 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都是自由出现。在整个公式中，x约束出现一次，自由出现一次，y自由出现。 （3）可以类似分析，x为约束出现，y既约束出现，又自由出现。z是自由出现。 一、基本概念 从约束变元的概念可见，若P（x1, ?, xn）是有n个独立自由变元的n元谓词，若对其中k个变元进行约束，则变为n-k元谓词。例如： ?x P（x, y, z）是二元谓词。 ?y?x P（x,y,z）是一元谓词。 为了避免由于变元的约束与自由同时出现，引起概念上的混乱，可对约束变元进行换名，使得一个变元在一个公式中仅以一种形式出现。为避免混乱，采用下面二条规则。 二、换名规则 一个公式中的约束变元所使用的名称符号是无关紧要的。 ?x P(x)与?y P(y)具有相同的意义。 换名规则：将量词辖域中出现的某个约束出现的个体变元及其指导变元，改换成另一个辖域中未曾出现过的个体符号，公式中其余部分符号不变。 二、换名规则 例2：对 ?x P(（x）? R（x, y））? Q（x, y）换名。 可换为：?z（P(z) ? R(z, y)）? Q(x, y)。 注： （1）对于约束变元可以换名，其更改的变元名称范围是量词中的指导变元，以及该量词作用域中所出现的该变元，在公式的其余部分不变。 （2）换名时一定要为作用域中没有出现过的变元名称。*最好是公式中没有的变元名。 三、代入规则 对公式中的自由变元也允许更改，这种更改叫做代入。 代入规则：对于某自由出现的个体变元用与原公式中所有个体变元符号不同的变元符号去代替，且处处代替。 例3：对?x(P（y）? R（x, y）)进行代替。 解：对y施行代替后公式为： ?x(P（z）? R（x, z）) 三、代入规则 注： （1）对于自由变元可以代入，代入时需对公式中出现该自由变元的每一处进行代入。 （2）用以代入的变元与原公式中的所有变元的名称不能相同。 四、练习 1.说明下列各式量词的辖域，找出约束变元和自由变元。 ⑴ (?x)P(x)→Q(y) ⑵ (?x) (P(x)∧(?y)Q(x,y)) ⑶ (?x) P(x)∧(?y)Q(x,y) ⑷ (?x)(?y)(P(x,y)∧Q(y,z))? (?x) R(x,y) ⑸ (?x) P(x)∨R(x,y) 四、练习 1.说明下列各式量词的辖域，找出约束变元和自由变元。 ⑴ (?x)P(x)→Q(y) (?x)的辖域为P(x)，x是约束变元，y是自由变元 ⑵ (?x) (P(x)∧(?y)Q(x,y)) ⑶ (?x) P(x)∧(?y)Q(x,y) ⑷ (?x)(?y)(P(x,y)∧Q(y,z))? (?x) R(x,y) ⑸ (?x) P(x)∨R(x,y) 四、练习 1.说明下列各式量词的辖域，找出约束变元和自由变元。 ⑴ (?x)P(x)→Q(y) ⑵ (?x) (P(x)∧(?y)Q(x,y)) (?x)的辖域为P(x)∧(?y)Q(x,y)，(?y)的辖域为Q(x,y)，x和y都是约束变元，无自由变元。 ⑶ (?x) P(x)∧(?