离散数学课件(第1章).pptVIP

《离散数学》教案;第0篇：引言;引言;二、离散数学与计算机

计算机开辟了脑力劳动机械化和自动化的新纪元。

计算机的诞生，人们就要为它进一步开展创立新的理论，就需要寻找新的数学工具。

例：为了描述新开拓的应用领域中的各种数据的结构，就需要适宜的数学工具。;引言;引言;引言;引言;引言;引言;引言;引言;引言;逻辑学：研究思维形式及思维规律的科学。

逻辑学分为两类：

辩证逻辑：研究事物开展的客观规律；

形式逻辑：对思维的形式结构和规律进行研究。;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;§1.2命题联接词

在命题演算中，也有类似日常生活中的联接词，称为“逻辑联接词”或“命题联接词”。常用的逻辑联结词有五种：否认联结词、合取联结词、析取联结词、条件联结词和双条件联结词。

1.否认联接词〔否认、非〕

〔1〕定义：设P为命题，那么P的否认是一个复合命题，记作：?P，读作“非P”或“P的否认”。假设P为T，那么?P为F；假设P为F，那么?P的真值为T。;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻???;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;从表1.19和表1.20中可以看出，极大项与成假赋值的对应关系为：变元对应0，而变元的否认对应1。

⑵任意两个不同的极大项的析取式为永真式。

⑶全体极大项的合取式为永假式。记为：;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑;第一章：命题逻辑