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