第5章谓词逻辑的等值和推理演算 ■谓词逻辑研究的对象是重要的逻辑规律,普遍有效 式是最重要的逻辑规律,而等值式、推理式都是普 遍有效的谓词公式,因此等值和推理演算就成了谓 词逻辑的基本内容,同命题逻辑相比,由于量词谓 词的引入,使谓词演算有着广泛的应用.特别是计 算机科学、人工智能等领域,是把谓词逻辑当作表 示知识、实现推理的有力工具来看待的 这章的讨论,主要是以语义的观点进行的非形式的 描述,而严格的形式化的讨论见第6章所建立的公 理系统第5章 谓词逻辑的等值和推理演算  谓词逻辑研究的对象是重要的逻辑规律，普遍有效 式是最重要的逻辑规律，而等值式、推理式都是普 遍有效的谓词公式，因此等值和推理演算就成了谓 词逻辑的基本内容，同命题逻辑相比，由于量词谓 词的引入，使谓词演算有着广泛的应用．特别是计 算机科学、人工智能等领域，是把谓词逻辑当作表 示知识、实现推理的有力工具来看待的．  这章的讨论，主要是以语义的观点进行的非形式的 描述，而严格的形式化的讨论见第6章所建立的公 理系统．