02324 离散数学 密训资料.docxVIP

目录

TOC\o1-1\h\z\u第1章命题与命题公式 2

第2章命题逻辑的推理理论 4

第3章谓词逻辑 5

第4章集合 7

第5章关系与函数 9

第6章代数系统的一般概念 12

第7章格与布尔代数 14

第8章图 14

第9章图的应用 16

1

命题与命题联结词★★

第1章命题与命题公式

真值

陈述句成立时，真值为真，记为T或1；陈述句不成立，真值为假，记为F或0。

判断命题的

条件

①语句本身是个陈述句（疑问句、感叹句、祈使句等都不能是命题）；②有

唯一的真值。

原子命题

不能再分解的命题。

复合命题

由原子命题通过联结词联结而成的命题。如“今天天气炎热，有雷阵雨”。

联结词

（设P，Q为两个命题）

①否定：P的否定记为?P。若P为T，?P则为F；反之亦然。

②合取：P和Q的合取记为P∧Q。当且仅当P、Q同时为T时，P∧Q的真值为

T，其余情况为P∧Q的真值F。

③析取：P和Q的析取记为P∨Q。当且仅当P、Q同时为F时，P∧Q的真值为

F，其余情况为P∧Q的真值T。

④条件：P和Q组成的条件命题记为P→Q。当且仅当P的真值为T，Q的真值为F时，P→Q的真值为F，其余情况P→Q的真值为T。

⑤双条件：P和Q组成的双条件命题记为P?Q。当P、Q的真值相同时，P?

Q的真值为T，否则P?Q的真值为F。

真值表①找出公式中所含的全体命题变元，从F…F开始写依次写出每个赋值，直到

真值表

①找出公式中所含的全体命题变元，从F…F开始写依次写出每个赋值，直到T…T为止；②按从简到繁的顺序写出公式的各个子公式；③对于各个赋值计算出各

子公式的真值，直到最后计算出公式的真值。

等价

命题公式A和B，设P1，…，Pn为A和B的原子变元，若给P1，…，Pn任一组

真值指派，A和B真值都相同，称A和B是等值的或等价的，记为A?B。若

至少存在一组真值指派，使其真值不同，称A和B不等值或不等价，记为A?B。

例：用列真值表的方法说明下列等价式成立：(P?Q)→R?(P→R)?(Q→R)解：根据题给等式列出如下真值表，其中T和F用1和0表示。

由真值表可知，对于PQR的任意指派，(P?Q)→R和(P→R)?(Q→R)真值都相同，所以(P?Q)→R?(P→R)?(Q→R)

永真式

命题公式A，若在它的各指派情况下，取值均为真，称A为重言式或永真式。

永假式

命题公式A，若在它的各指派情况下，取值均为假，称A为矛盾式或永假式。

可满足式

命题公式A，若在它的各指派情况下，至少存在一组成真指派，称A是可满足

式。若可满足式A至少存在一个成假赋值，则称A为非重言式的可满足式。

P

Q

R

P?Q

(P?Q)→R

P→R

Q→R

(P→R)?(Q→R)

0

0

0

0

1

1

1

1

0

0

1

0

1

1

1

1

0

1

0

1

0

1

0

0

0

1

1

1

1

1

1

1

1

0

0

1

0

0

1

0

1

0

1

1

1

1

1

1

1

1

0

1

0

0

0

0

1

1

1

1

1

1

1

1

2

结论

①合式公式P是可满足式，等价于P至少存在一个成真赋值；

②重言式一定是可满足式，但可满足式不一定是重言式；

③若两个命题公式P和Q等价，则P?Q是重言式。

命题定律

双重否定律

A???A

幂等律

A?A?A,A?A?A

结合律

(A?B)?C?A?(B?C)；(A?B)?C?A?(B?C)

交换律

A?B?B?AA?B?B?A

分配律

A?(B?C)?(A?B)?(A?C)（?对?的分配律）

A?(B?C)?(A?B)?(A?C)（?对?的分配律）

吸收律

A?(A?B)?A，A?(A?B)?A

德摩根律

?(A?B)??A??B，?(A?B)??A??B

同一律

A?F?A，A?T?A

零律

A?T?T,A?F?F

排中律

A??A?T

否定律

A??A?F

蕴涵等值式

A?B??A?B

等价等值式

A?B?