东北大学离散数学复习总结.pdfVIP

东北大学离散数学复习总结--第1页

方法、知识点总结

（知识重点和考题重点）

前三章重点内容（知识重点）：

1、蕴含（条件）“→”的真值

P→Q的真值为假，当且仅当P为真，Q为假。

2、重言(永真)蕴涵式证明方法

1假设前件为真，推出后件也为真。

2假设后件为假，推出前件也为假。

易错

3、等价公式和证明中运用

4、重要公式

重言蕴涵式：P∧Q=PorQ

PorQ=p∨Q

A-B=(A∧or∨C)-(B∧or∨C)

其他是在此基础上演变

东北大学离散数学复习总结--第1页

东北大学离散数学复习总结--第2页

等价公式：幂等律P∧P=PP∨P=P

吸收律P∧(P∨Q)=PP∨(P∧Q)=P

同一律P∨F=PP∧T=P

P∨T=TP∧F=F

P-Q=(P-Q)∧(Q-P)=(P∧Q)∨(P∧Q)

﹁﹁

5、范式的写法（最方便就是真值表法）

6、派遣人员、课表安排类算法：

第一步：列出所有条件，写成符号公式

第二步：用合取∧连接

第三步：求上一步中的析取范式即可

7、逻辑推理的写法

直接推理论证：其中I公式是指重言蕴涵式那部分

其中E公式是指等价公式部分

条件论证:形如~,~,~=R-S

RP(附加条件)

......

ST

东北大学离散数学复习总结--第2页

东北大学离散数学复习总结--第3页

R-SCP

8、谓词基本内容

注意：任意用—连接

存在用∧连接

量词的否定公式

量词的辖域扩充公式

量词分配公式

其他公式

9、带量词的公式在论域内的展开

10、量词辖域的扩充公式

11、前束范式的写法

给定一个带有量词的谓词公式，

1)消去公式中的联接词→和←→(为了便于量词辖域的扩充)；

2)如果量词前有“﹁?”，则用量词否定公式﹁?”后移。再用摩根定律或求

公式的否定公式，将“﹁?”后移到原子谓词公式之前；

3)用约束变元的改名规则或自由变元的代入规则对变元换名(为量词辖域

扩充作准备)；

东北大学离散数学复习总结--第3页

东北大学离散数学复习总结--第4页

4)用量词辖域扩充公式提取量词，使之成为前束范式形式。

简要概括：1、去-，-2、移﹁

3、换元4、量词辖域扩充

12、谓词演算的推理理论

推理规则：P、T、CP、US、ES、EG、UG的使用

ESUS去量词

EGUG添量词

★谨记：ES要在US之前,很重要

添加量词注意事项：

13、集合的幂集（用P表示，也常有花P表示）

A是集合，由A的所有子集构成的集合，称之为A的幂集。记作P(A)或2

的A次