离散数学第一章.pptVIP

1;绪论Preface

;现代数学的重要分支。;绪论PRAFACE;数理逻辑、集合论、代数结构、图论、

概率论、可计算性理论、组合数学、

自动机理论、拟阵论等等。;绪论PRAFACE;绪论PRAFACE;绪论PRAFACE;;“离散数学”

耿素云,屈婉玲,北京大学出版社

“离散数学及其应用”

(美)kennethH.Rosen

机械工业出版社;第四篇图论;第一篇

数理逻辑

MathematicsLogic

;;;苏格拉底三段论：;例如：;;逻辑演算(logicalcalculus〕;第四篇图论;命题逻辑

;1-1命题及其表示;1-1命题及其表示;命题：;命题逻辑命题及其表示;命题逻辑命题及其表示;命题常量:命题标识符代表某一确定的命题。

命题变元:命题标识符代表任意一个命题.变元

的取值范围(T,F).

变元的指派:当命题变元被特定命题代入,成为具有确定真值的命题时。称对命题变元的指派。

原子变元：命题变元代表原子命题时。;1-1命题及其表示;1-1命题及其表示;命题逻辑;1-1命题及其表示;;1.并非所有的自然数是偶数.?;定义1-2.2两个命题P和Q的合取是一个复合命题,记作P∧Q。当且仅当P、Q同时为T时,P∧Q

为T,在其他情况下,P∧Q的真值都是F。;新命题P?Q;;今晚我在家看电视,或去剧场看电影.;;例1如果某动物是哺乳动物,那么它必胎生.;;;命题逻辑逻辑连接词;命题符号化

用原子命题符号及连接词组成的符号串表示复合命题.;1-1命题及其表示;命题逻辑逻辑连接词;命题逻辑逻辑连接词;1-3命题公式与赋值;1-3命题公式与赋值;命题逻辑命题公式与赋值;1.公式最外层的括号可省略.

2.规定运算优先级为?,?,?,?,?,那么其中的括

号可省略.

3.同级的从左至右进行时,那么其中的括号可省略.;设P1,P2,...Pn是命题公式A中出现的所有分量，为P1,P2,...Pn指定一组真值称为对公式A的赋值，假设指定一组真值使A成为真命题，那么这组真值称为A的

成真赋值；否那么为A的成假赋值。;真值表:将公式的所有不同赋值及对应的取值情况汇列成表.;(3).含有n个命题变元的命题公式共有种赋值.;什么是命题公式？

什么是命题公式的赋值？

含有n个命题变元的命题公式共有种赋值？

如何求出命题公式的所有取值？

命题公式??哪几种类型？

命题公式的类型如何判断？

如何判断两个命题公式等价？

;命题逻辑命题公式与赋值;命题逻辑;1-4等价公式;A?B??(?A??B);定理1-4.1〔置换定理〕设X是合式公式A的子公式,且X?Y,如果将A中的X用Y来置换,所

得到的公式B与A等价,即A?B。;命题逻辑等价公式;命题逻辑等价公式;命题逻辑等价公式;1-5重言式;定义1-5.1、定义1-5.2给定一命题公式,假设

无论对分量作怎样的指派(赋值),其对应的真值永为T(永为F),那么称该命题公式为永真式(永假式),记作T(F).;利用代入定理可判定某些永真或永假式.;定理1-5.3设A、B为两个命题公式,A?B当且

仅当A?B为一个重言式。;命题逻辑等价公式;命题逻辑重言式;命题逻辑;1-6联结词的全功能集;(1).PQ??(P?Q);2.极小全功能集

;IF...THEN...ELSE;命题逻辑;本节讨论命题公式的标准形式。包括主析取范式和主合取范式，给出求主析和主合取方式的方法并通过范式获得其性质。

1)便于计算机处理命题和推理

2)通过化标准形便于判断公式等价及公式的类型3)通过真值表可写出的公式。;定义1-7.1在给定的命题公式A中,将联结词∨换成∧,将∧换成∨,假设有特殊变元F和T亦相互

取代,所得公式A*称为A的对偶式。;;定义1-7.2一个命题公式称为合取范式,当且仅当它具有形式：

A1∧A2∧...∧An,(n≥1)

其中A1,A2,...,An都是由命题变元或其否认所组成的析取式(简单析取式)。;定义1-7.3一个命题公式称为析取范式,当且仅当它具有形式：

A1?A2?…,?An,(n≥1)

其中A1,A2,...,An都是由文字所组成的合取式。;(1).将公式中的联结词化归成?、?、?。

(2).利用德摩根律将?移到各原子变元之前。

(3).利用分配律、结合律将公式归约为合取范式

或析取范式。;两个变元及其小项的真值表;三个变元及其小项的真值表;小项的性质;(1).将公式化归为析取范式。

(2).去掉析取范式中永假的小项。

(3).合并析取范式中重复的小项。

(4).对合取项