《离散数学》笔记

古城深巷细雨绵

已于 2022-07-05 14:11:22 修改

阅读量2.1w

点赞数 33

分类专栏：自考笔记总结文章标签： p2p 网络协议网络

于 2022-03-09 17:25:32 首次发布

本文链接：https://blog.csdn.net/ww981580010/article/details/123205121

版权

第一章：命题与命题公式一、命题与命题联结词

一、命题与命题联结词

1、命题与命题的表示

（1）判断命题的两个条件

语句本身是个陈述句
它有唯一的真值（可理解为属性）
（2）用符号来表示命题的过程称为命题的符号化
（3）命题为真时，其真值用“T”或“1”来表示；为假时，其真值用“F”或“0”来表示。

2、复合命题与联结词

（1）否定：设 P 为命题，P 的否定是一个复合命题，记作¬P。若 P 为 T，¬P 为 F；若 P 为 F，¬P 为 T。命题¬P 读作“非 P”。

（2）合取：设 P、Q 为两个命题，P 和 Q 的合取是一个复合命题，记作 P∧Q。符号∧称为合取联结词。当且仅当 P、Q 同时为 T 时，P∧Q 为 T，其余情况 P∧Q 为 F。P 和 Q 的合取表示的是“P 并且 Q”的含义。（一假即假）

（3）析取：设 P、Q 为两个命题，P 和 Q 的析取是一个复合命题，记作 P∨Q。符号∨称为析取联结词。当且仅当 P、Q 同时为 F 时，P∨Q 的真值为 F，其余情况 P∨Q 的真值为 T。P 和 Q 的析取表示的是“P 或者 Q”的含义。（一真即真）

（4）条件：设 P、Q 为两个命题，P 和 Q 组成的条件命题是一个复合命题，记作 P→Q。符号→称为条件联结词。当且仅当 P 的真值为 T，Q 的真值为 F 时，P→Q 的真值为 F，其余情况P→Q的真值为 T。复合命题 P→Q 读作“如果 P 那么 Q”，亦可读为“若 P 则 Q”。（真假为假，其余都为真）

（5）双条件：设 P、Q 为两个命题，P 和 Q 组成的双条件命题是一个复合命题，记作 P↔Q。符号↔称为双条件联结词。当 P 与 Q 的真值相同时，P↔Q 的真值为 T，否则 P↔Q 的真值为 F。复合命题 P↔Q 读作“P 当且仅当 Q”。（真真假假为真，其余都为假）

二、命题公式的等值演算

1、命题演算的合式公式定义

（1）单个命题变元和命题常项是合式公式，并称为原子命题公式；

（2）若 A 是合式公式，则(¬A)是合式公式

（3）若 A、B 是合式公式，则(A∧B)，(A∨B)，(A→B)，(A↔B)是合式公式；

（4）有限次地应用（1）-（3）形成的符号串是合式公式。

（5）合式公式也称为命题公式或命题形式，简称为公式

2、联结词的优先次序为：¬，∧，∨，→，↔

3、设 A 为一命题公式，P1，P2，…，Pn为出现在 A 中的所有命题变元，对 P1，P2，…，Pn各指定一个真值称为对 A 的一种指派或赋值。若指定的一种指派使 A 的值为真，则称这组值为A 的成真指派；若指定的一种指派使 A 的值为假，则称这组值为 A 的成假指派。

4、常用的命题定律列在表

5、等值演算与蕴涵式

（1）基于真值表

（2）基于等值演算或等价交换

三、联结词完备集

1、设 S 是一个联结词集合，如果任何 n（n≥1）元真值函数都可以由仅含 S 中的联结词构成的公式表示，则称 S 是联结词完备集。我们把{¬，∨}及{¬，∧}称作命题公式的最小联结词完备集。

2、命题公式的联结词完备集可有以下几种：

（1）S1={¬, ∧, ∨, →, ↔}

（2）S2={¬, ∧, ∨, →}

（3）S3={¬, ∧}

（4）S4={¬, ∨}

（5）S5={¬, →}{↑}和{↓}都是联结词完备集。

第二章：命题逻辑的推理理论

一、范式

1、范式的概念

（1）一个简单析取式是重言式，当且仅当它同时含某个命题变元及它的否定式。一个简单合取式是矛盾式，当且仅当它同时含某个命题变元及它的否定式

（2）合取范式是由简单析取式的合取构成的；析取范式是由简单合取式的析取构成的

（3）一般来说，n 个命题变元 P1，P2，…，Pn，共有 2 的n次方个小项。

2、小项和大项

小项：（∧）∨（∧），理解：小项总只有一个T，其余都为F

（1）定义

n 个命题变元的简单合取式，称作布尔合取或极小项，简称为小项。为了表示的更直观，我们以字母m 加上由编码构成的下标来表示每个小项，其中下标是一个 n 位的二进制数。为了简单起见，有时也用 n 位二进制对应的十进制数 i 来表示小项的编码。

（2）性质