离散数学复习知识点

个人学习记录，仅供参考。

第1部分 数理逻辑

第1章命题逻辑的基本概念

1.1命题与联结词

1.判断给定句子是否为命题有两个条件，分别是是否为陈述句，是否有唯一的真值（我们是否知道他的真值是什么不重要，重要的是他客观存在且唯一）。
2.关于相容或和排斥或：
书本例1.4中：
（1）张晓静爱唱歌或爱听音乐
爱唱歌和爱听音乐两个因素没有关系，不会互相影响，因此可用相容或，直接使用析取符号。
（2）张晓静只能挑选202或203房间
因为题目条件的限定，所以只能在202和203中2选1，不能都选，所以这里需要使用排斥或，（p⋀¬q)⋁(¬p⋀q)
（3）张晓静是江西人或安徽人
这道题既可以用相容或也可以用排斥或，因为张晓静不可能既是江西人又是安徽人，所以对实际上不能同时为真的两个条件，相容或和排斥或都能使用。

选择相容或和排斥或时，需要注意究竟是两个条件是实际可以同时为真但是题目所限定不能同时为真，还是实际上不能同时为真。
3.联结词蕴涵
关于对叙述方式的理解
p仅当q：
可以理解为p想为真仅当q为真时才有可能为真，所以只能推出p为真时，q必然为真，所以p仅当q，符号位p⟶q。
只有q才p：
可以理解为只有q为真时才有可能p为真，所以只能推出p为真时，q必然为真，所以p仅当q，符号位p⟶q。
除非q才p：
可以理解为除非q为真时才有可能p为真，所以只能推出p为真时，q必然为真，所以p仅当q，符号位p⟶q。
除非q，否则非p：
否则和非双重否定即为肯定，与上者理解相同。

在数理逻辑中，蕴涵式的前件和后件可以无任何内在联系。
4.联结词等价
课本例1.6中的当王小红心情愉快时，她就唱歌；反之，当她唱歌时，一定心情愉快无法确定真值，因为王小红心情愉快，她就唱歌可以为假，不像同样是该题中的根号3是无理数一定为真。
所以只要不是客观现实中唯一确定的常理，无论题目中说得再肯定都没用，都有可能为假。
5.联结词顺序
（），¬，⋀，⋁，⟶，⟷；对同一优先级，从左到右顺序进行。

1.2命题公式及其赋值

1.公式层次
若公式A是单个的命题变项，则称A为0层公式。
若公式A的层次为k，则称A是k层公式。
2.真值表
含n个命题变项的公式共有2ⁿ个不同的赋值。
将命题公式A在所有赋值下取值情况列成表，称作A的真值表。
赋值从00……0开始，然后按照二进制加法每次加一，直到11……1为止。
按照层次从低到高，从左到右的顺序计算各层次真值，直到最后计算公式的真值。
含n个命题变项的公式的真值表有2²^ⁿ种不同的情况.
若A的所有赋值取值均为真，则称A为重言式或永真式。
若A的所有赋值取值均为假，则称A为矛盾式或永假式。
若A不是矛盾式，则称A为可满足式。
当A中的命题变项的取值对结果没有影响时，则称这些命题变项为哑元。

第2章命题逻辑等值演算

2.1等值式

1.设公式A，B共同含有n个命题变项，A或B可能有哑元。若A与B有相同的真值表，则说明在所有的2^n个赋值下，A与B的真值都相同，因而等价式A⟷B为重言式，则称A与B式等值的，记作A⇔B。
用来判断A，B是否等值，可以采用真值表法来判断，然后当工作量很大时，可以利用已知等值式进行代换。
2.等值式模式
课本中16组常用的重要等值式中最重要的三组：
分配律：
A⋁(B⋀C)⇔(A⋁B)⋀(A⋁C)
A⋀(B⋁C)⇔(A⋀B)⋁(A⋀C)
德摩根律：
¬（A⋁B）⇔¬A⋀¬B
¬（A⋀B）⇔¬A⋁¬B
蕴含等值式：
A⟶B⇔¬A⋁B
A,B,C可以替换成任意的公式，这些具体的等值式称为等值式模式的代入实例。
由已知等值式推演出其他等值式的过程称作等值演算。
置换规则：
设Φ(A)是含公式A的命题公式，Φ(B)是用公式B置换Φ(A)中A的所有出现后得到的命题公式。若B⇔A，则Φ(A)⇔Φ(B)。
3.证明两个公式不等值
（1）真值表法
（2）观察法，给出一个赋值使得两个命题公式的真值不同，就说明他们不等值。
（3）当两个公式比较复杂时，可以先通过等值演算将他们化简，再进行判断。

2.2析取范式与合取范式

1.定义
2.2命题变项及其否定统称为文字。仅有有限个文字构成的析取式称作简单析取式，仅由有限个文字构成的合取式称作简单合取式。

一个文字既是简单析取式，又是简单合取式。

2.3由有限个简单合取式的析取构成的命题公式称作析取范式。
由有限个简单析取式的合取构成的命题公式称作合取范式。
析取范式与合取范式统称作范式。
2.4在含有n个命题变项的简单合取式（简单析取式）中，若每个命题变项和它的否定式恰好出现一个且仅出现一次，而且命题变项或它的否定式按照下标从小到大或按照字典顺序排列，称这样的简单合取式（简单析取式）为极小项（极大项）。

由于每个命题变项在极小项中以原型或否定形式出现且仅出现一次，因而n个命题变项共产生2^n个不同的极小项&#