第第6讲讲 27 谓词演算的推理理论谓词演算的推理理论 要求要求:熟练掌握谓词的推理:熟练掌握谓词的推理理论理论与推理与推理方法方法,会用谓词的推理理论与推理方法进行会用谓词的推理理论与推理方法进行推理推理。重点重点:应用谓词的推理理论与推理方法进行:应用谓词的推理理论与推理方法进行推理推理。难点难点:正确理解和运用:正确理解和运用有关有关量词量词规则规则。谓词逻辑是命题逻辑的进一步深化和发展,谓谓词逻辑是命题逻辑的进一步深化和发展,谓词演算的推理方法,可以看作是词演算的推理方法,可以看作是命题演算推理方法命题演算推理方法的的扩张扩张。因此命题逻辑的推理理论在谓词逻辑中。因此命题逻辑的推理理论在谓词逻辑中几几乎可以完全照搬乎可以完全照搬,只不过这时涉及的公式是,只不过这时涉及的公式是谓词谓词逻逻辑的公式罢了。辑的公式罢了。在谓词逻辑中,某些在谓词逻辑中,某些前提前提和和结论结论可能可能受到量受到量词词的约束,为确立前提和结论之间的内部联系,有必的约束,为确立前提和结论之间的内部联系,有必要要消去消去量词和量词和添加添加量词,因此正确理解和运用有关量词,因此正确理解和运用有关量词规则是谓