计算机科学导论第12章--离散结构.pptVIP

第12章离散结构; 学习目标

了解离散结构的研究对象及主要内容、代数结构、离散概率。

掌握数理逻辑与简单推理、集合论根底知识、图论根本知识。;12.1离散结构的研究对象及主要内容;12.1.1离散结构的研究对象;12.1.2离散结构研究的主要内容;12.2数理逻辑

12.2.1命题逻辑;例如：

8是奇数！

李平是学生。

这两个命题都属于简单命题。

再看另外一个例子：

李平不是学生。

该命题就不是简单命题。因为这个命题不是最简单的陈述句，还可以从这个句子里面别离出来一个“不”字，把“不”字分出来以后，它依然是命题。因此可以把这个命题看作是由一个简单命题再加上了一个表示否认的连接词形成的复合命题。;12.2.1命题逻辑;2．命题公式

由命题常元、命题变元与各种逻辑连接词组合形成的更为复杂的命题，称为命题公式，又称为合式公式。

3．等值演算

(1)重言式

如果对命题公式A中命题变元的一切指派，A的真值均为真，那么称命题公式A为重言式，重言式又称永真式。

(2)等价式

设A,B为两个命题公式，假设等价式AB是重言式，那么称A逻辑等价于B，或A与B是等值的，记作AB。AB不是命题公式。;4．命题推理

推理是从前提出发推出结论的思维过程，前提是的命题公式，结论是从前提出发应用推理规那么推出的命题公式。

推理常用的方法:

真值表法

等价证明法

构造证明法;[例]证明P∨Q和Q的结论是P。

证明：只需证明(P∨Q)∧Q→P是重言式。

①真值表法

按真值表的构造步骤，构造真值表如下：

;

[例]证明P∨Q和Q的结论是P。

证明：只需证明(P∨Q)∧Q→P是重言式。

②等价证明法

(P∨Q)∧Q→P(P∧Q)∨(Q∧Q)→P

(P∧Q)∨0→P(P∧?Q)→P

(P∧?Q)∨PP∨Q∨?P

1∨Q

1;

[例]证明：p→r,q→s,p∨q?r∨s。

证明：

③构造证明法

1)p→r 前提

2)p∨r 1)等价置换

3)r∨p 2)等价置换

4)r→p 3)等价置换

5)p∨q 前提

6)p∨q 5)等价置换

7)p→q 6)等价置换

8)r??q 4)7)假言三段论

9)q→s 前提

10)r→s 8)9)假言三段论

11)r∨s 10)等价置换;12.2.2谓词逻辑;[例]将以下命题用谓词逻辑符号化。

(1)所有的自然数都是大于零的。

(2)没有不犯错误的人。

(3)这个班有些学生请假了。

解：(1)设A(x)：x是自然数；

B(x)：x大于零。

那么原命题符号化为：?x(A(x)→B(x))。

(2)设A(x)：x是人；

B(x)：x犯错误。

那么原命题符号化为：?x(A(x)→B(x))。

(3)设A(x)：x是这个班的学生；

B(x)：x请假了。

那么原命题符号化为：?x(A(x)∧B(x))。;4．谓词推理

(1)全称量词消去规那么。如果谓词公式?xA(x)为真，那么可推出A(c)为真，即

?xA(x)?A(c)

式中，c是个体域中任意一个确定的个体。

(2)存在量词消去规那么。如果谓词公式?xA(x)为真，那么可推出A(c)为真，即

?xA(x)?A(c)

式中，c是个体域中满足条件A的个体常元。; (3)全称量词引入规那么。如果谓词公式A(x)中的自由个体变元x无论取个体论域中的任何值，A(x)都为真，那么可推出?xA(x)为真，即

A(x)??xA(x)

式中，x是个体域中任意一个个体。

(4)存在量词引入规那么。如果谓词公式A(c)为真，那么可推出?xA(x)为真，即

A(c)??xA(x)

式中，c是个体域中满足条件A的个体常元。;12.3集合论;12.3集合论

12.3.1集合的根本概念与运算;12.3.1集合的根本