本章小结 本章讨论问题的方式与前一章基本上是平 行的,首先认识到前一章的命题的局限 性进而引入了谓词,并在此基础上定义 了公式以及公式的解释、等价、蕴涵、 前束范式等,然后用等价式、蕴涵式等 进行推理,与命题逻辑相比,谓词逻辑 的内容较为丰富也较为复杂 返回本章首页 2021/1212021/1/21 7 本章小结 本章讨论问题的方式与前一章基本上是平 行的，首先认识到前一章的命题的局限 性进而引入了谓词，并在此基础上定义 了公式以及公式的解释、等价、蕴涵、 前束范式等，然后用等价式、蕴涵式等 进行推理，与命题逻辑相比，谓词逻辑 的内容较为丰富也较为复杂. 返回本章首页