离散数学 二章 谓词逻辑-4-6节.ppt

2-4 变元的约束 一、指导变元、辖域、约束出现、自由出现 辖域：紧接在量词后面的谓词公式，即量词的作用范 围称之为量词的作用域或辖域。 约束变元/指导变元/作用变元：在量词的辖域内，且在量词后面出现的变元。 约束出现：在(?x)和(?x)的辖域中，x的所有出现。 自由变元：不受量词约束的变元。 自由出现：A中不是约束出现的其他变元。 例 确定以下公式各量词的辖域以及各客体变量为自由变元还是约束变元。 （1）(?x)(?y)(P(x, y)∨Q(y, z))∧(?x)R(x,y) P(x, y)、Q(y, z)中的x, y为约束变元，z为自由变元，R(x,y)中的x为约束变元，但y为自由变元。 对约束变元和自由变元的说明 (1)对约束变元用什么符号表示无关紧要。 就是说(?x)A(x)与?yA(y)是一样的。这类似于计算积分与积分变元无关，即积分∫f(x)dx 与∫f(y)dy 相同。 (2)一个谓词公式如果无自由变元，它就表示一个命题。 例如：A(x)表示x是个大学生。(?x)A(x)或者(?y)A(x)就是命题，因为它们分别表示命题“有些人是大学生”和“所有人都是大学生”。 谓词公式中有自由变元，则为命题函数。 对约束变元和自由变元的说明（续） 3、P(x1,x2,…,xn)是 n 元谓词,有 n 个独立的自由变元。若对其中 k 个变元