5．1 否定型等值式 5．2 量词分配等值式 5．3 范式 5．4 基本的推理公式 5.5 推理演算 5．6 谓词逻辑的归结推理法

人工智能基础：逻辑及数学演算中的不动项与不可判定命题（Ⅱ）

人工智能基础：逻辑及数学演算中的不动项与不可判定命题（Ⅰ）

• 数学概念 • 数学命题 • 数学证明

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c02

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c06

第 1 节 证明的必要性 第 2 节 集合 第 3 节 关系 第 4 节 函数 第 5 节 等价关系与划分 第 6 节 序 第 7 节 结构的例子

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c09-10

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c08