离散数学

目录

第一讲 离散数学概述

第二讲 命题逻辑知识的准备

 

第三讲 命题及其表示

 

第四讲 联结词

第五讲 命题公式及翻译

第六讲 真值表与等价公式

第七讲 等价公式的证明方法

​

第八讲 重言式与蕴含式

​

​

第九讲 蕴含的性质

 

第十讲  对偶

第十一讲  范式

第十二讲  主范式

十三讲 推论理论

十四讲 谓词逻辑（第二章节）

---

 

第一讲 离散数学概述

数理逻辑简介

数理逻辑是用数学方法来研究逻辑的学科。它是逻辑学的分支，也是数学的分支，因此数理逻辑又称为符号逻辑。

广义上，数理逻辑包括证明论，模型论，递归函数论，公理化集合论等。

我们课主讲“命题逻辑”和“谓词逻辑”

第二讲 命题逻辑知识的准备

 

第三讲 命题及其表示

 

第四讲 联结词

可兼或

 

 

特例 不可兼或