离散数学第二章谓词逻辑46节.pptxVIP

约束变元/指导变元/作用变元：在量词的辖域内，且在量词后面出现的变元。约束出现：在(?x)和(?x)的辖域中，x的所有出现。自由变元：不受量词约束的变元。自由出现：A中不是约束出现的其他变元。约束变元自由变元量词(?x)P(x,y)辖域约束变元指导变元例确定以下公式各量词的辖域以及各客体变量为自由变元还是约束变元。（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为自由变元。约束变元约束变元约束变元自由变元自由变元(?y)的辖域指导变元(?x)的辖域(?x)的辖域对约束变元和自由变元的说明(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 个变元进行约束，则成为 n-k 元谓词。若对n个变元进行约束即没