"形式化方法本质上是对一种千百年来众所周知的方法的推广,这种方法就是运算。"
  --J. M.Bochenski


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