1命题逻辑分解.ppt

1 研究离散对象及其相互间关系的一门数学学科。 计算机科学、信息科学、数字化科学的数学基础 研究离散结构的数学分支。（辞海） 什么是离散数学(Discrete Math.) 2 离散数学的内容： 数理逻辑（Mathematics Logic) 集合论(Sets) 图论（Graph Theory) 代数结构（Algbra Structure) 组合论（Combination) 3 离散数学课程设置： 计算机系核心课程 信息类专业必修课程 其它类专业的重要选修课程 4 离散数学的后继课程： 数据结构、编译技术、 算法分析与设计、人工智能、 数据库、…… 5 离散数学课程的学习方法: 强调：逻辑性、抽象性； 注重：概念、方法与应用 6 数理逻辑 逻辑学：研究推理的一门学科 -------- 一套符号体系 + 一组规则 数理逻辑的内容： 古典数理逻辑： 命题逻辑、谓词逻辑(一阶逻辑) 现代数理逻辑： 公理化集合论、递归论、模型论、证明论 数理逻辑(符号逻辑)： 用数学方法研究推理的一门数学学科 7 推理示例 有3顶黑帽子，2顶白帽子。让三个人从前到后站成一排，给他们每个人头上戴一顶帽子。每个人都看不见自己戴的帽子的颜色，只能看见站在前面那些人的帽子颜色，现在从最后那个人开始，问他是不是知道自己戴的帽子颜色，如果他回答说不知道，就继续问他前面那个人。事实上如果他们三个戴的都是黑帽子，那么最前面那个人一定会知道自己戴的是黑帽子。为什么？ 8 需要回答的问题 ???(1) 什么是前提？有哪些前提？ ???(2) 结论是什么？ ???(3) 根据什么进行推理？ ???(4) 怎么进行推理？ 要回答这样的问题，实际上就是看由一些诸如“他们三个戴的都是黑帽子”这样的前提能否推出“最前面的人一定知道自己戴的是黑帽子”这样的结论来。 9 第一章 命题逻辑(Proposition Logic) 命题逻辑的中心问题: 研究推理 表达判断的陈述句构成了推理的基本单位 命题 一个有确定真或假意义的陈述语句. 1.1 命题符号化及联结词 10 例 判断下列句子是否为命题: . （1） 2是素数 （2）雪是黑色的 （3）现在我们在上课 （4）2+2=5. 命题 1 和 3 是 T, 命题 2 和 4 是 F. 11 （5） 1+101=110 （6）别的星球上有生命. 这两个也都是命题，不过要指出的是 （5）在二进制中为真命题，十进制中为假，依赖上下文。 （6）目前无法决定真值，但它本身有真值可言。即真值不确定和没有真值是两回事。 12 （7）请勿吸烟! （8）明天有会吗？ （9）天气多好啊！ 这三个都不是命题，因为它们都不是陈述句 13 （10）我正在说谎. 这不是命题，这是悖论。 若给它指派是“真的”, 则语句（10）说明（10）是“假的” 若给它指派是“假的”,则语句(10)暗指 (10)是“真的” 14 命题的语句形式: 陈述句 非命题语句：疑问句 祈使句 感叹句 非命题陈述句：悖论语句 判断一个句子是否为命题: (1)看它是否为陈述句 (2)看它的真值是否惟一 命题语句真值确定的几点说明： 1、时间性 2、区域性 3、标准性 小结 15 一个符号若表示确定的命题，称为命题常项或命题常元。 引入特定的符号来表示任一简单命题，起着类似数学中变元的作用，称为命题变项或命题变元。 严格来说: 命题变项不是命题。因它可以表示任一命题，故无确定的真值。 命题符号化: 将表示命题的符号放在该命题前面,称为命题符号化。该符号称为命题表示符 P: 2是素数。 16 例：我学英语。 我学日语。 我学英语，或者我学日语。 例：如果今天是星期一，则要进行英语或离散数学考试。如果英语老师有会，则不考英语。今天是星期一，英语老师有会，所以进行离散数学考试。 17 原子命题：不能分解为更简单的陈述句，称为原子命题或称简单命题。 用大小写字母 P，Q，R，…，p,q,r来表示简单命题。 复合命题：由简单命题用逻辑联结词联结而成的命题称复合命题。 18 1．否定联结词 设P为一命题，P的否定是一个新的命题，记作┐P.即若P为真，则┐P为假，若P为假，则┐P