2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

3.2 归结演绎推理 3.3 应用归结原理求取问题答案 3.４ 归结策略 3.6 Horn子句归结与逻辑程序 3.7 非归结演绎推理

2 . 1 概述 2 . 2 一阶谓词逻辑表示方法 2 . 3 单元表示方法 2 . 4 知识表示的小结

上海交通大学：《离散数学》课程教学资源（PPT课件）第5章 谓词逻辑的等值和推理演算

人民邮电出版社：高等学校计算机专业教材《离散数学》课程教学资源（PPT课件）第五章 谓词逻辑

高等学校计算机专业教材：《离散数学》课程PPT课件_第五章 谓词逻辑

上海交通大学：《离散数学》课程教学资源（讲义）第五章 谓词逻辑的等值和推理演算

上海交通大学：《离散数学》课程教学资源（讲义）第四章 谓词逻辑的基本概念

上海交通大学：《离散数学》课程教学资源（讲义）第五章 谓词逻辑的等值和推理演算