1 命题逻辑的基本概念.ppt

引言 现代科学技术的各和领域，都提出了大量离散结构的科学问题。例如 计算机科学、程序设计、计算机网络、信息论与编码、通信理论、现代密码学、数字信号处理和形式语言等 它们都与离散数学密切相关。 离散数学 是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。 主要目标—— 研究离散量的结构和相互之间关系 研究对象—— 一般是有限个或可数个元素 研究内容—— 数理逻辑、集合论、代数学、组合数学、图论、计算理论、复杂网络、网格及网络计算等 《数理逻辑与集合论》的主要内容 第一部分 数理逻辑 第1章 命题逻辑的基本概念 第2章 命题逻辑的等值和推理演算 第4章 谓词逻辑的基本概念 第5章 谓词逻辑的等值和推理演算 第二部分 集合论 第9章 集合 第10章 关系 第11章 函数 第12章 实数集合与集合的基数 本课程的要求 授课总学时 32学时：授课周数为16周，每周2学时； 作业 课后布置的作业逢单周星期五交，只有当作业收齐交到讲台上后才开始上课； 成绩评定 平 时 成 绩：20%～30% 期末考成绩：70%～80% 第一部分 数理逻辑 ??先看著名物理学家爱因斯坦出的一道题: 一个商人想招聘一个聪明的助手，有两人前来应聘，商人为了试试哪个更聪明些，就把两个人带进一间漆黑的屋子里， 他打开灯后说：“桌子上有五顶帽子，两顶红色，三顶黑色，现在把灯关掉，并把帽子的位置弄乱，然后我们每人摸一顶帽子戴在自己头上，我再藏起余下的两顶帽子，开灯后，你们要尽快说出自己头上戴的帽子的颜色。” 当开灯后，那两个应试者看到商人头上戴的是一顶红帽子，其中一个人便喊道：“我戴的是黑帽子。” 请问这个人说得对吗？他是怎么推导出来的呢？ 第一部分 数理逻辑 这需要经历如下过程： 什么是前提？有哪些前提？ 结论是什么？ 根据什么进行推理？ 怎么进行推理？ 数理逻辑将回答这些问题，它包括—— 命题逻辑 一阶逻辑 数理逻辑（符号逻辑） 是用数学方法来研究推理的形式结构和推理规律的数学学科 它除了研究数学基础课题个，还扩展到了现代科学技术中，如 程序语言、自动机理论、逻辑网络、机器翻译与机器证明等 第1章 命题逻辑的基本概念 1.1 命题 1.2 命题联结词及真值表 1.3 合式公式 1.4 重言式 1.5 命题形式化 1.6 波兰表达式 1.1 命题 命题的概念 引例就是要对“我戴的是黑帽子”。进行判断。这样的陈述句称为命题。 命题—— 可判断真假的陈述句。 如：2是素数。 雪是黑色的。 命题的真值—— 判断的结果 真值的取值—— 真（1或T）与假（0或F） 真命题: 真值为真的命题（判断正确） 假命题: 真值为假的命题（判断错误） 任何命题的真值都是唯一的。 命题 注意: 感叹句、祈使句、疑问句都不是命题 如：你跑得真快！ 全体起立！ 又开学了吗？ 陈述句中的判断结果不惟一确定以及悖论也不是命题 如：x + 5 ＞ 3 1+1=10 我正在说谎。 ?判断给定句子是否为命题的步骤 首先判定它是否为陈述句， 其次判断它是否有唯一的真值。 命题变项 命题的分类 简单命题(原子命题) 不能分解为更简单的句子的陈述句。 如 “2是素数” 复合命题 由几个简单命题与联结词按一定规则复合而成的命题 如： 3不是偶数。 2是素数和偶数。 1.2 命题联结词及真值表 1. 否定词? 定义: 设 P 是一个命题, 构造一个新命题是原命题的否定, 称该命题是命题 P 的取否命题, 表示成“?P”. 规定: ?P 为真当且仅当P为假 联结词 2. 合取词? 定义: 设命题 P 和 Q 是两个命题,构造一个新命题“ P 与 Q ”,称作命题 P 和 Q 的合取,表示成“P?Q”. 规定—— 当且仅当 P 和 Q 都为真时, P?Q 为真. 自然语言中用到的联结词: “和”，“与” , “并且” “既...又...” “不仅...而且...” “虽然...但是... 例: 将下列命题符号化 P:李平聪明. Q:李平用功. (1) 李平既聪明又用功. (2) 李平虽然聪明但不用功. (3) 李平不但聪明而且用功. (4) 李平不是不聪明而是不用功. 联结词 3. 析取词∨ 定义:设命题 P 和 Q 是两个命题, 构造一个新命题“ P 或Q ”, 称作命题 P 和 Q 的析取, 表示成“P?Q”. 规定—— P∨Q为假当且仅当 P 与 Q 同时为假. 当且仅当 P 和 Q 中至少一个为真时, P ? Q 为真. 联结词 例如： P: 灯泡有故障. Q: 开关有故障. 灯泡有故