涛主讲。共9章内容，主要讲解人工智能概述、基于谓词逻辑的机器推理、产生式系统、知识表示、机器学习、专

的逻辑分析第三章命题推理第四章真值表方法与命题演算第五章传统谓词逻辑第六章谓词演算第七章模态逻辑第

津大学离散数学电子课件，内容包括命题逻辑、谓词逻辑、非古典逻辑、模型论、证明论、递归论、公理化集合

式的课件，内容丰富，章节包括：第1章命题逻辑第2章谓词逻辑第3章集合第4章关系第5章函数第6章代数

形式逻辑学参考资料，主要讲解的内容有命题逻辑、词项逻辑、谓词逻辑等。

第2章谓词逻辑 2.1谓词逻辑基本概念 2.2谓词公式及其解释 2.3谓词逻辑等值式 2.4一阶逻辑的推理理论

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用

问题1：如何基于命题逻辑进行推理？ 问题2：什么是(一阶)谓词逻辑？ 问题3：如何基于谓词逻辑进行推理？

本章可视为前一章的深入和提高； 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同；能将自然语言符号 化；能用谓词逻辑进行推理；理 解前束范式的意义

本章可视为前一章的深入和提高； 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同；能将自然语言符号 化；能用谓词逻辑进行推理；理 解前束范式的意义