本书主要内容包括：形式化和形式化概论，命题演算形式系统，各种形式的一阶谓词演算形式系统，直觉主义的一阶谓词演算形式系统，各种形式的模态逻辑系统，时态逻辑系统和动态逻辑系统，多值逻辑系统和模糊逻辑系统，非单调逻辑推理系统，λ-演算和组合逻辑，以及这些经典和非经典的逻辑系统在计算机科学技术中的应用。

本书可用作计算机专业、数学专业的本科生、硕士研究生的数理逻辑、计算理论等课程的教材或教学参考书。

第一章 绪论

第二章 命题演算形式系统

第三章 一阶谓词演算

第四章 其它形式的一阶谓词演算系统

第五章 消解原理及其应用

第六章 霍恩子句逻辑和逻辑程序设计

第七章 二阶谓词演算

第八章 模态逻辑

第九章 时序逻辑与动态逻辑

第十章 多值逻辑及模糊逻辑

第十一章 非单调逻辑

第十二章 λ-演算与组合逻辑

参考文献

谓词本质上是表示客体性质和关系的语言成分，它附带着可以放置所讨论对象的位置，我们称之为空位，只有当空位上填入对象后谓词才成为关于所填对象的一个意义完整的语句。