谓词
第3章谓词逻辑和归结原理
的变量可以在量词作用范围内用另外变量代替。 我们可以对变量适当地改名 , 使每一个量词所约束的变量都有不同的名字 . 例如 , 谓词公式 （ x） P（ x） ∨ (x) Q（ x） 改写成 （ x） P（ x） ∨ (y )Q（ y） . 4. 删除公式中的存在量词 . 例如 ,谓词公式 （ x)(y)P（ x, y) 在删去存在量词之后 , 变成 （ x)P（ x, f(x))