离散数学1PPT.ppt

离散数学 唐存琛 cctang@whu.edu.cn课程主要内容 数理逻辑 集合论 图论 * 代数结构 前导课程 高等数学 教材及参考书 教材： 离散数学，刘玉珍 刘咏梅 编著，武汉大学出版社 参考书： 离散数学，朱怀宏 编著，南京大学出版社 学习要求 1、课堂要求： 按时上课 认真听讲 2、课外要求： 认真、按时完成作业 复习 绪论 第一章 命题逻辑 第二章 一阶逻辑（谓词逻辑） 第一篇 数理逻辑 知识要点 知识点： 1、数理逻辑的概念 2、数理逻辑的发展简史 3、数理逻辑的地位和作用 绪 论 （1）定义 1、数理逻辑的概念 数理逻辑是采用数学方法研究抽象思维推理规律（形式推理）的一门科学。 （2）方法 引入一套数学符号系统来进行研究，强调推理过程中前提和结论之间的形式关系。 （3）内容 谓词逻辑 命题逻辑 （4）分支 模型论 证明论 公理集合论 递归论 2、数理逻辑的发展简史 创立阶段 起源阶段 完善阶段 发展历史 起源阶段 德国数学家、哲学家 G.Leibniz（1646~1716），提出建立一种普遍的符号语言，利用符号语言进行思维演算的设想。 创立阶段 英国数学家 G.Bool于1847年发表《逻辑的数学分析》，创建一套表示逻辑推理的基本符号以及符号的运算规律，建立了布尔代数。 德国数学家 G.Frege于1879年在《概念的演算》一书中引进谓词符号和量词符号，创建第一个比较严格的逻辑演算系统。 完善阶段 英国逻辑学家 A.N.Witehead和B.Russel于1910将当时的数理逻辑写入了《数学原理》中，使数理逻辑成为了一门专门的学科。 20 世纪 30 年代，由于众多科学家的努力，衍生出许多新的分支，如：直觉主义逻辑、多值逻辑、组合逻辑等。 3、数理逻辑的地位和作用 1、计算机科学的重要的理论基础之一； 2、对数学、计算机科学、人工智能、语言学、控制论等诸多学科产生深远的影响。 第一章 命题逻辑 知识点： 1、命题的符号化； 2、命题合式公式及其分类； 3、命题合式公式的范式； 4、命题逻辑的推理理论。 1.1 命题符号化 一、命题及其相关概念 1、什么是命题 命题 —— 可以确定为真或假的陈述句。 命题一般用大写字母表示，称为命题标识符。 若命题为真，则说它为真命题； 若命题为假，则说它为假命题。 例题1.1.1 判断下列语句是否为命题： （1）P1：中国的首都在北京。 （2）P2： 3 + 1 比 5 大。 （3）P3：地球外的星球上也有人。 （4）P4：明天是晴天。 （5）P5：请关门。 （6）P6： x + 1 不超过 5。 （7）P7：你好吗？ （8）P8：我正在说谎。 例题1.1.2 下列语句哪些是命题： （1）3 + 3 = 6。 （2）太阳比月亮大。 （3）5 + 8 10。 （4）明年的元旦是阴天。 （5）实践是检验真理的唯一标准。 （6）火星上有生物。 （7）我们要努力工作。 （8）x + y 9。 （9）这花多香啊！ （10）今天是几月几号？ 2、命题常量和命题变元 命题常量 —— 表示命题的值是固定不变。 命题变元 —— 表示命题的值既可以为真又可以为假。 3、简单命题和复合命题 简单命题 —— 不能再分解的命题，它是一个简单句，又称为原子命题。 复合命题 —— 由一些命题联结词将简单命题联结起来而组成的命题。如： （9）非3 + 1 比 5 大。 （10）3 + 1 比 5 大蕴含着明天是晴天。 4、真值表 将复合命题中的各运算分量（命题）的所有真、假取值的组合代入后的结果一一列出，它是一种研究或表达命题在命题联结词作用下所有运算结果的工具。 1.1 命题符号化 二、命题联结词 1、命题联结词的种类及功能 （1）否定词 的真值为真当且仅当 P 的真值为假。 定义1: 设 P 是一个命题， P 的否定 称为命题 P 的否命题。 定义2: （2）合取词 的真值为真当且仅当 P 和 Q 的真值都为真。 定义: （3）析取词 的真值为假当且仅当 P 和 Q 的真值都为假。 定义: （4）蕴含词 的真值为假当且仅当 P 的真值为真且 Q 的真值为假。 定义: （5）等值词 的真值为真当且仅当 P 和 Q 的真值同为真或者同为假。 定义: 2、真值表 表1 否定词 表2 其它联结词的真值表 例题1.1.3 将下列命题符号化： （1）如果你不看电影，那么我也不看电