离散数学41921.ppt

离散数学: 研究离散量的关系的一门科学。 研究离散结构的数学分科。（辞海） 离散数学的内容： 数理逻辑（Mathematics Logic) 集合论(Sets) 组合论（Combination) 图论（Graph Theory) 代数结构（Algbra Structure) 线性代数(Linear Algbra ) 概率论（Propobility Theory)…… 离散数学的由来与发展: 一、古老 历史: 计数:自然数 发展: 图论:Konigsberg七桥问题 二、年青 新生: 计算机:二进制运算 离散数学课程设置： 计算机系核心课程 信息类专业必修课程 其它类专业的重要选修课程 离散数学的后继课程： 数据结构、编译技术、 算法分析与设计、人工智能、 数据库、…… 离散数学课程的学习方法: 强调：逻辑性、抽象性； 注重：概念、方法与应用 用一组基本的指令来编制一个计算机程序，非常类似于从一组公理来构造一个数学证明。 第一章 命题逻辑 命题逻辑，也称命题演算，记为Ls。它与谓词逻辑构成数理逻辑的基础，而命题逻辑又是谓词逻辑的基础。数理逻辑是用数学方法即通过引入表意符号研究推理的学问。因此，数理逻辑又名为符号逻辑。 命题逻辑是研究由命题为基本单位构成的前提和结论之间的可推导关系。 1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 联结词的扩充与功能完全组 1.5 公式标准型——范式 1.6 公式的主范式 1.7 命题逻辑的推理理论 1.1 命题与联结词 １. 命题的概念  命题：能判断真假的陈述句。 命题的真值：命题的判断结果。它只有两种可能：真用1或T表示，假用0或F表示。真值为1的命题称为真命题；真值为0的命题称为假命题。 判断一个句子是否为命题：首先判断它是否陈述句，如果是陈述句，再判断它是否具有唯一的真值。(命题的真值是具有客观性质的，而不是由人的主观决定的。) 例 判断下列句子是否为命题 （1）??? 3是素数。 （2）??5.2是无理数 。 （3）???? x 大于 y。 （4）????月球上有冰。 （5）????2000年元旦是晴天。 （6）????π大于 3 吗？ （7）????请不要吸烟！ （8）????这朵花真美丽啊！ （9）????我正在说假话。 解 ：(6)、(7)、(8)、(3)、(9)不是命题，其余都是。 所谓命题，是指具有非真必假的陈述句。而疑问句、祈使句和感叹句等因都不能判断其真假，故都不是命题。命题仅有两种可能的真值—真和假，且二者只能居其一。由于命题只有两种真值，所以称这种逻辑为二值逻辑。 如果一陈述句再也不能分解成更为简单的语句，由它构成的命题称为原子命题或简单命题。原子命题是命题逻辑的基本单位。 命题分为两类，第一类是原子命题，原子命题用英文字母P，Q，R…及其带下标的Pi，Qi，Ri，…表示。 命题常项(元)：真值确定的简单命题。 命题变项(元)：真值可变的简单陈述句。如上例中的（3）。 第二类是复合命题，它由原子命题、命题联结词和圆括号组成。 ２. 命题联结词 定义1.1.1 设P表示一个命题，由命题联结词l和命题P连接成lP，称lP为P的否定式复合命题， lP读“非P”。称l为否定联结词。lP是真，当且仅当P为假；lP是假，当且仅当P为真。否定联结词“l”的定义可由表1.1.1表示之。 由于否定”修改了命题，它是对单个命题进行操作，称它为一元联结词。 定义1.1.2 设P和Q为两个命题，由命题联结词∧将P和Q连接成P∧Q，称P∧Q为命题P和Q的合取式复合命题，P∧Q读做“P与Q”，或“P且Q”。称∧为合取联结词。 当且仅当P和Q的真值同为真，命题P∧Q的真值才为真；否则，P∧Q的真值为假。合取联结词∧的定义由表1.1.2表示之。 解: (1) 令 p: 2是素数；q: 3是素数，则：p∧q。 (2)、(3)、(4)：令r: 张伟用功；s: 张伟好学，t: 张伟聪明；则： r∧s;