离散数学第一章.ppt

离散数学 主讲人：王改霞 wgx075@163.com 课程内容 数理逻辑 集合论 代数系统 图论 计算机科学中的应用 第三部分 代数系统 计算机编码和纠错码理论 数字逻辑设计基础 计算机使用的各种运算 第四部分 图论 数据结构、操作系统、编译原理、 计算机网络原理的基础 教学要求 准备作业本：要求作业写清日期并且不抄 题做解答。 课堂上带好练习纸，做好课堂练习。 做好复习、预习。 做好出勤。 课程成绩=作业成绩+考试成绩+出勤成绩 第一篇 数理逻辑 一个土耳其商人想找一个十分聪明的助手协助他经商，有两人前来应聘，这个商人为了试试哪个更聪明些，就把两个人带进一间漆黑的屋子里，他打开灯后说：“这张桌子上有五顶帽子，两顶是红色的，三顶是黑色的，现在，我把灯关掉，而且把帽子摆的位置弄乱，然后我们三个人每人摸一顶帽子戴在自己头上，在我开灯后，请你们尽快说出自己头上戴的帽子是什么颜色的。”说完后，商人将电灯关掉，然后三人都摸了一顶帽子戴在头上，同时商人将余下的两顶帽子藏了起来，接着把灯打开。这时，那两个应试者看到商人头上戴的是一顶红帽子，其中一个人便喊道：“我戴的是黑帽子。” 推论是否正确？ 1-1 命题及其表示法 命题的概念 能够判断真假的陈述句，有确定真值。 例： 1、 1+1=2； 2、 明天开会吗？ 3、 我正在说谎。 4、我学英语，或者我学日语。 命题的表示 命题通常使用大写字母A，B，…，Z或带下标的大写字母或数字表示，如Ai，[10]，R等，例如 A1：我是一名大学生。 [10]：我是一名大学生。 R：我是一名大学生。 命题标示符：表示命题的符号； 命题常量：表示确定命题的命题标识符； 命题变元：表示任意命题的位置标识符； 原子变元：表示原子命题的命题变元。 1-2 联结词 否定联结词 合取联结词 析取联结词 条件联结词 双条件联结词 小结 命题的概念和表示； 命题联结词 否定； 合取； 析取； 条件； 双条件； 1-3 命题公式与翻译 定义：命题公式的合式公式，规定为： （1）单个命题变元是合式公式； （2）如果P是合式公式，则﹁P是合式公式； （3）如果P、Q是合式公式，则P∧Q、P∨Q、P?Q、P?Q都是合式公式； （4）当且仅当能够有限次的应用(1) 、(2)、(3) 所得到的包括命题变元、联结词和括号的符号串是合式公式。 定义的递归性： (1)是递归的基础，由(1)开始，使用(2)(3)规则，可以得到任意的合式公式。 下面的式子是合式公式： P∧Q， ((P∨Q)∧R) 下面的式子不是合式公式： (P V R ? Q) 约定（1）优先次序：┐，?，V, →， ? 。 （2）为方便，最外层括号可以不写。 命题的翻译 可以把自然语言中的有些语句，转变成数理逻辑中的符号形式，称为命题的翻译。 命题翻译时应注意下列事项： （1）确定所给句子是否为命题。 （2）句子中联结词是否为命题联结词。 （3）要正确的选择原子命题和合适的命题联结词。 例1.说离散数学无用且枯燥无味是不对的。 P：离散数学是有用的。 Q：离散数学是枯燥无味的。 该命题可写成： ? (?P∧Q) 例2.如果小张与小王都不去，则小李去。 P：小张去。 Q：小王去。 R：小李去。 该命题可写成： (?P∧?Q)?R 如果小张与小王不都去，则小李去。 该命题可写成： ?(P∧Q)?R 也可以写成： (?P∨?Q)?R 所谓命题符号化，就是用命题公式的符号串来表示给定的命题。 命题翻译（命题符号化）的方法 1.首先要明确给定命题的含义。 2.对于复合命题，找联结词，用联结词 断句，分解出各个原子命题。 3.设原子命题符号，并用逻辑联结词联 结原子命题符号，构成给定命题的符 号表达式。 例3. 仅当天不下雨且我有时间，才上街。 P：天下雨。Q：我有时间。R：我上街。 分析：由于“仅当”是表示“必要条件” 的，既“天不下雨且我有时间”，是“我上街”的必要条件。 该命题可写成： R?(?P∧Q) 例4.人不犯我，我不犯人；人若犯我，我必犯人。 P：人犯我。Q：我犯人。 该命题可写成：(?P??Q)∧(P?Q) 1-4真