离散数学(命题逻辑的基本概念).pptVIP

绪 论 离散数学是研究离散量的结构及相互关系的学科，其研究对象一般是有限个或可数个元素。它充分描述了计算机科学离散性的特点，在计算机理论研究及软、硬件开发的各个领域有着广泛的应用。 离散数学形成于七十年代初期，是现代数学的重要分支。 绪 论 离散数学在计算机科学中起着工具性的作用。 离散数学与计算机科学中的数据结构、算法分析与设计、数据库原理与设计、人工智能、操作系统、编译原理、计算机网络等课程联系紧密。 先修课为高等数学、线性代数和计算机导论。 本书的主要内容 数理逻辑 集合论 代数结构 组合数学 图论 初等数论 教学目的 为计算机专业理论讲授作好必要的知识准备; 培养抽象思维和推理能力; 培养解决实际问题的能力. 教材及参考书 《离散数学》 屈婉玲等编著 高等教育出版社出版 2008 《离散数学》 左孝凌 上海科学技术文献出版社 《《离散数学及其应用》（中、英文版） Kenneth H.Rosen 机械工业出版社 /rosen 土耳其商人和帽子 三个人：一个商人，两个应试者A和B。 五顶帽子，两顶是红色的，三顶是黑色的。 两个应试者看到商人头上戴的是一顶红帽子。 过了一会儿，A喊道：“我知道我戴的帽子的颜色了”，请问他的帽子是什么颜色的？ 数理逻辑 逻辑学是一门研究思维形式及思维规律的科学。 数理逻辑是用数学方法来研究推理的规律科学，就是引进一套符号体系的方法，所以又称为符号逻辑。 数理逻辑是现代计算机技术的基础 。 第一部分 数理逻辑 “我现在年纪大了,搞了这么多年软件,错误不知犯了多少,现在觉悟了。我想假如我早年在数理逻辑上好好下点功夫的话,我就不会犯这么多的错误。不少东西逻辑学家早就说了,可我不知道。要是我能年轻20岁,我要回去学逻辑。” 数理逻辑 莫绍揆 中国数理逻辑学家 （1917－） “事实上，它们（程序设计）或者就是数理逻辑，或者是用计算机语言书写的数理逻辑，或者是数理逻辑在计算机上的应用。” 古典形式逻辑 亚里士多德,古希腊人，是世界古代史上最伟大的哲学家、科学家和教育家之一。他在直言命题中引进了主谓项的变元，在此基础上建立了直言三段论的理论。 麦加拉学派和斯多阿学派发现了说谎者悖论，创立了命题逻辑,提出了相当于现代命题演算中的真值表。 数理逻辑创始人 德国哲学家和数学家莱布尼茨是德国最重要的自然科学家、数学家、物理学家和哲学家，一个举世罕见的科学天才，和牛顿同为微积分的创建人。 莱布尼茨是现在公认的数理逻辑创始人，他的目的是建立一种“表意的符号语言”，其中把一切思维推理都化归为计算。实际上这正是数理逻辑的总纲领。 第一部分 数理逻辑 主要内容 命题逻辑基本概念 命题逻辑等值演算 命题逻辑推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理 第一章 命题逻辑的基本概念 命题与联结词 命题及其分类 联结词与复合命题 命题公式及其赋值 1.1 命题与联结词 命题与真值 命题：判断结果惟一的陈述句 命题的真值：判断的结果 真值的取值：真与假 真命题与假命题 注意： 感叹句、祈使句、疑问句都不是命题 陈述句中的悖论不是命题 命题概念 命题分类 命题分类：简单命题（也称原子命题）与复合命题。 简单命题符号化 用小写英文字母 p, q, r, …, pi, qi, ri (i?1)表示简单命题。 用“1”表示真，用“0”表示假。例如，令 p：π是有理数，则 p 的真值为0， q：2 + 5 = 7，则 q 的真值为1。 实例 将下面各命题中的出现原子命题符号化. ?是有理数是不对的。 2是偶素数。 2或4是素数。 如果2是素数，则3是素数。 2是素数当且仅当3是素数。 否定联结词 定义1.1 设 p为命题，复合命题“非p”(或“p的否定”)称为p的否定式，记作?p，符号?称作否定联结词. 规定?p 为真当且仅当p为假. 合取联结词 定义1.2 设p,q为两个命题，复合命题“p并且q”(或“p与 q”)称为p与q的合取式，记作p ? q, ? 称作合取联结词. 规定p ? q为真当且仅当p与q同时为真. 合取联结词的实例 例2 将下列命题符号化. (1) 吴颖既用功又聪明. (2) 吴颖不仅用功而且聪明. (3) 吴颖虽然聪明，但是不用功. (4) 张辉与王丽都是三好生. 合取联结词的实例 解 令p:吴颖用功, q:吴颖聪明 (1)吴颖既用功又聪明. (2)吴颖不仅用功而且聪明. (3)吴颖虽然聪明，但不用功. (4)张辉与王丽都是三好生. 合取联结词的实例 p ：今天下雨 q：明天下雨 p ? q：今天下雨并且明天下雨 今天与明天都下雨