离散数学复习重点(1)

第一章

第一节 命题符号化及联结词

1. 命题：能判断真假(在现在或之后某一时刻)的陈述句

2. P⊽Q：P异或Q

3. 蕴涵运算p → q表示的逻辑关系是：p是q的充分条件或者q是p的必要条件。

4. “只要p，就q” ， “因为p，所以q” ， “ p仅当q” 、 “只有q才p”、 “除非q才p”、 “除非q，否则非p” 与自然语言的不同：前件与后件可以没有任何 内在联系！

充分条件：就是只要条件成立，结论就成立，则该条件就是充分条件。在自然语言中表示充分条件的词有： 如果 …则… ，只要… 就…，若…则…

必要条件：就是如果该条件不成立，那么结论 就不成立, 则该条件就是必要条件。在自然语言中表示必要条件的词有 ：只有 …才… ； 仅当…，… ; …, 仅当…。

第二节 命题公式及分类

(1) 若公式A是单个命题变项，则称A为0层公式.

(2) 称 A 是 n+1(n≥0) 层公式是指下面情况之一：

​ (a) A=┐B, B 是 n 层公式；（A是n+1层）

​ (b) A=B∨C, 其中B,C 分别为 i 层和 j 层公式， 且 n=max(i,j)； （A是n+1层）

​ © A=B↔C, 其中 B,C 的层次及 n 同(b)；

​ (d) A=B→C, 其中B,C 的层次及 n 同(b)；

​ (e) A=B∧C, 其中B,C 的层次及 n 同(b).

(3) 若公式A的层次为k, 则称A为k层公式.

注意：重言式是可满足式，但反之不真.

p₁ , p₂ , … , p_n 中没有在A式中出现的命题变项为A的哑元

第二章

第一节 等值演算

1. 若等价式A↔B是重言 式，则称A与B 等值，记作A⇦⇨B.

2. 重要等值式：

吸收律：

A ∨(A∧ B)⇦⇨ A

A ∧(A∨B)⇦⇨ A

蕴涵等值式 ：A→B⇦⇨ ┐A∨B

假言易位 A→B⇦⇨ ┐B →┐A

等价否定等值式 A↔B⇦⇨ ┐A↔┐B

归谬论 (A→B)∧(A→┐B)⇦⇨ ┐A

3. 等值关系的性质：自反性、对称性、传递性

4. 判断一个公式是否重言式，矛盾式，可满足 式，或者判断两个命题公式是否等值。有两种方 法，即真值表法和等值演算法。

第二节 对偶与范式

1. 对偶式：在一个只含有联结词 ┐、∨、∧的公 式A中，将∨换成∧，∧换成∨，1换成0，0换 成1，其余部分不变，得到另一个公式A*，称A与A*互为对偶式。

如果A与B等价，则A*与 B*等价

2. 范式：命题公式形式的规范形式。约定在范式中只含有 联结词┐、∨和∧。

简单析取式:用“∨” 联结命题变项或==变项的否定（┐）==构成的式子

简单合取式:用“∧”联结命题变项或变项的否定（┐）构成的式子

单个命题变项或其否定既是简 单析取式，又是简单合取式

即：p,q,┐p,┐q

3. 定理：

一个简单析取式是重言式当且仅当它同时含有某个命题变项和它的否定式 p∨┐p∨r⇦⇨1

一个简单合取式是矛盾式当且仅当它同时含有某个命题变项和它的否定式 p∧┐p∧r⇦⇨0

由有限个简单合取式构成的析取式称作析取范式

由有限个简单析取式构成的合取式称作合取范式

4. 析取范式，合取范式、对偶之间的关系:

A=(p∧q)∨p∨(┐p∧q)为析取范式

显然，A*=(p∨q)∧p∧(p∨q)为合取范式

反之亦然！

5. 范式存在定理：任何命题公式都存在与之等值的析取范式与合取范式

6. 主范式：

设有n个命题变项，若在简单合取式中每个 命题变项与其否定有且仅有一个出现一次，则这 样的简单合取式称为极小项

设有n个命题变项，若在简单析取式中每个 命题变项与其否定有且仅有一个出现一次，则这 样的简单析取式称为极大项