【离散数学】期末不挂科复习笔记

【离散数学】期末不挂科复习笔记

和蜂考学的，重要的应该是逻辑和函数这两大板块，图和树就与数据结构挂钩了（大部分都是之前学过的），重点看看各种逻辑的等值演算还有推理！

第一章（命题逻辑的基本概念)

1、命题的概念

如何判断是否是命题：

例题1：

2、命题连接词

①否定（可以理解为非）

②合取（可以理解成交）

③析取（可以理解为并）

④蕴含（可以理解为非p并q）

⑤等价（可以理解为相等）

优先级：

例题1:

3、命题公式及其赋值

成真赋值就是让p蕴含q的值为1，这种情况下p和q的赋值

成假赋值就是让p蕴含q的值为0，这种情况下p和q的赋值

例题1：

我们可以看出图上的式子是可满足式**（注意永真式也是可满足式）**

第二章（命题逻辑等值演算）

1、等值式

常见等值式：（结合数字电路知识点学习~）

重点是(12)，蕴含等值式

例题1：

例题2：

需要注意的是，用等值演算不能直接证明两个公式不等值

例题3：（证明两个公式不等值）

2、析取范式与合取范式

例题1:

例题2：

3、主析取范式与主合取范式

极小项与极大项的概念：

第一张表：

那么什么是主析取范式和主合取范式呢？

例题1：

这里使用的是真值表法

例题2：

引入一个前提：

例题3：

这里使用等值演算法

4、联结词的完备集

最小的联结词完备集就是图上的S4和S5，一定要有非

例题：

第三章（命题逻辑的推理理论)

1、推理的相关公式

推理定义：单项箭头（双向就是等值式了）

明确一点，放在左边的是前提，放在右边的是结论

判断推理正确

推理形式

非常多的推理公式（推理题型的基础)

标黄的是重点

例题1: