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