[理学]离散数学 第一章.pptVIP

曲阜师范大学计算机科学学院 离散数学 授课教师：李圣君 qfnulsj@163.com 哈佛大学图书馆的凌晨4点半 主要内容 数理逻辑 集合论 代数结构 图论 第一部分 数理逻辑 历史使人聪明，诗歌使人机智，数学使人精细，哲学使人深邃，道德使人严肃，逻辑与修辞使人善辩。 -----------Bacon Francis 引入实例 “有3顶黑帽子，2顶白帽子。让三个人从前到后站成一排，给他们每个人头上戴一顶帽子。每个人都看不见自己戴的帽子的颜色，却只能看见站在前面那些人的帽子颜色。 （所以最后一个人可以看见前面两个人头上帽子的颜色，中间那个人看得见前面那个人的帽子颜色但看不见在他后面那个人的帽子颜色，而最前面那个人谁的帽子都看不见。现在从最后那个人开始，问他是不是知道自己戴的帽子颜色，如果他回答说不知道，就继续问他前面那个人。事实上他们三个戴的都是黑帽子，那么最前面那个人一定会知道自己戴的是黑帽子。为什么？” 第一部分 数理逻辑 为什么引入数理逻辑? 电脑对知识处理不够（知识是人们对自然现象的认识和从中总结出来的规律、经验） 引入数理逻辑表达知识，实现逻辑推理的符号化 什么是数理逻辑？ 用数学的方法（引进一套符号体系）研究推理的规律 第一部分 数理逻辑 主要内容 命题逻辑基本概念 命题逻辑等值演算 命题逻辑推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理 第一章 命题逻辑的基本概念 命题与联结词 命题及其分类 联结词与复合命题 命题公式及其赋值 命题与真值 命题：判断结果惟一的陈述句 命题的真值：判断的结果 真值的取值：真与假 真命题与假命题 命题概念 命题分类：简单命题（也称原子命题）与复合命题 简单命题符号化 用小写英文字母 p, q, r, …, pi, qi, ri (i?1)表示简单命题 用“1”表示真，用“0”表示假 例如，令 p： 是有理数，则 p 的真值为0， q：2 + 5 = 7，则 q 的真值为1 合取联结词的实例 例2 将下列命题符号化. (1) 吴颖既用功又聪明. (2) 吴颖不仅用功而且聪明. (3) 吴颖虽然聪明，但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 合取联结词的实例 解 令p:吴颖用功, q:吴颖聪明 (1) p?q (2) p?q (3) ?p?q (4) 设p:张辉是三好生, q:王丽是三好生 p?q (5) p:张辉与王丽是同学 析取联结词的实例 例3 将下列命题符号化 (1) 2 或 4 是素数. (2) 2 或 3 是素数. (3) 4 或 6 是素数. (4) 小元元只能拿一个苹果或一个梨. (5) 王小红生于 1975 年或 1976 年. 析取联结词的实例 解 (1) 令p:2是素数, q:4是素数, p?q (2) 令p:2是素数, q:3是素数, p?q (3) 令p:4是素数, q:6是素数, p?q (4) 令p:小元元拿一个苹果, q:小元元拿一个梨 (p??q)?(?p?q) (5) p:王小红生于 1975 年, q:王小红生于1976 年, (p??q)?(?p?q) 或 p?q (1)—(3) 为相容或 (4)—(5) 为排斥或, 符号化时(5)可有两种形式，而(4)则不能 蕴涵联结词 定义1.4 设p, q为两个命题，复合命题“如果p, 则q”称作p与q的蕴涵式，记作p?q，并称p是蕴涵式的前件，q为蕴涵式的后件，?称作蕴涵联结词. 规定：p?q为假当且仅当p为真q为假. 蕴涵联结词的实例 例4 设 p：天冷，q：小王穿羽绒服，将下列命题符号化 (1) 只要天冷，小王就穿羽绒服. (2) 因为天冷，所以小王穿羽绒服. (3) 若小王不穿羽绒服，则天不冷. (4) 只有天冷，小王才穿羽绒服. (5) 除非天冷，小王才穿羽绒服. (6) 除非小王穿羽绒服，否则天不冷. (7) 如果天不冷，则小王不穿羽绒服. (8) 小王穿羽绒服仅当天冷的时候. 定义1.5 设 p, q为两个命题，复合命题“p当且仅当q”称作p与q的等价式，记作p?q，?称作等价联结词. 规定p?q为真当且仅当p与q同时为真或同时为假. p?q 的逻辑关系：p与q互为充分必要条件 本小节中p, q, r, … 均表示命题. 1.2 命题公式及其赋值 命题变项与合式公式 命题变项 合式公式 合式公式的层次 公式的赋值 公式赋值 公式类型 真值表 命题变项与合式公式 命题