版离散数学知识汇总文档.docxVIP

PAGE\*romaniii

PAGE\*romaniii

离散数学笔记

第一章命题逻辑

合取析取

定义1.1.3否定：当某个命题为真时，其否定为假，当某个命题为假时，其否定为真

定义1.1.4条件联结词，表示“如果……那么……”形式的语句

定义1.1.5双条件联结词，表示“当且仅当”形式的语句

定义1.2.1合式公式

单个命题变元、命题常元为合式公式，称为原子公式。

若某个字符串A是合式公式，则?A、(A)也是合式公式。

若A、B是合式公式，则A?B、A?B、A? B、A?B是合式公式。

有限次使用(2)~(3)形成的字符串均为合式公式。

等值式

析取范式与合取范式

将一个普通公式转换为范式的基本步骤

PAGE\*romaniv

PAGE\*romaniv

1.6推理

定义1.6.1设A与C是两个命题公式，若A→C为永真式、重言式，则称C是A的有效结论，或称A可以逻辑推出C，记为A=C。（用等值演算或真值表）

第二章谓词逻辑

、基本概念

?

?：全称量词

?：存在量词

一般情况下，如果个体变元的取值范围不做任何限制即为全总个体域时，带“全称量词”的谓词公式形如?x(H(x)→B(x))，即量词的后面为条件式，带“存在量词”的谓词公