一、对偶式与对偶原理 二、析取范式与合取范式 三、主析取范式与主合取范式

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

1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论

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

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

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

清华大学计算机系列教材：《离散数学——数理逻辑与集合论》教学资源（石纯一、王家廞）

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

《高中数学》全程设计同步配套教学课件（A版必修第一册）第一章 集合与常用逻辑用语_1.1 第1课时 集合的相关概念

《高中数学》全程设计同步配套教学课件（A版必修第一册）第一章 集合与常用逻辑用语_1.2 集合间的基本关系