离散数学111112.ppt

简介 为什么要学离散数学？ 计算机专业的基础学科之一 数据结构、OS、编译原理、DB、AI等先行学科。 考研的需要 如：北航：离散数学、数理逻辑 中科大计算机科学与技术学院 华中科技大学、北京理工大学、浙江工业大学、西安交大等 逻辑思维的锻炼 公务员考试中的行政能力测试 公司笔试题 推理题 简介 本学期离散数学研究内容（见目录） 数理逻辑 集合 关系与函数 代数系统 图论 要求 平时作业：每两周交一次作业 成绩 = 平时成绩 + 期末成绩 平时成绩（30-40%）：出勤情况，作业情况，期中成绩 期末 成绩（60%-70%） 第11章 数理逻辑 逻辑学 辩证逻辑 形式逻辑 数理逻辑（符号逻辑） 研究 推理，特别是研究数学中推理的科学。 研究方法：引进一套形式符号体系，规定一些规则，将推理变得像代数演算一样。 既是数学的分支，又是逻辑学的分支。 基本要素：命题 11.1 形式逻辑 逻辑学 研究思维的学科。任何思维都有其内容和形式。 辩证逻辑：研究思维的形态（内容） 思维的内容：不同领域的具体思维所涉及的特殊对象 举例： 数学中涉及 数量、图形 物理学中涉及 声、光、电、力等 政治经济学中涉及 生产关系、商品价值等。 可见，各个不同的领域中，其具体思维所涉及的对象往往是不同的，那么在这些不同领域思维中是否有共通的东西存在呢？ 11.1 形式逻辑 在各大领域，都可见到如下语句： 所有……都是……。 如果……，那么……。 何为 形式逻辑？ 研究思维形式及其规律。 形式逻辑的三大要素 概念：思维的基本单位。 判断：通过概念给出肯定或否定的回答。 推理：最高形式。 举例：三角形全等。 思维的过程满足以下定律 同一律，矛盾律，排中律，充足理由律（P167-168） 11.1 形式逻辑 例1（判断） 所有的商品都是有价值的。——经济学 所有的金属都是由光泽的。——物理学 所有帝国主义都是要侵略的。——政治学 可见，涉及的对象不同（即思维内容不同），但都具有“所有 甲 都是 乙” 的思维形式。 11.1 形式逻辑 例2（判断） 如果一个产品不是为了出售而是为了生产者自身的消费，那么这个产品不是商品。——经济学 如果金属遇热，那么金属会膨胀。——物理学 如果一切正偶数都大于1，那么1小于一切正偶数。——数学 思维的形式：如果甲，那么乙。 11.1 形式逻辑 例3（推理） 所有金属都是由光泽的. 铁是金属，所以铁是有光泽的. 所有的有理数都是实数. 3是有理数，所以，3是实数.（P168） 思维形式：所有 丙 都是 丁。 甲是丙 所以，甲是丁。 结论 即，某类实物具有某属性，则那类事物中每个个体都具有该属性。 11.1 形式逻辑 例4（推理） 如果开关闭合，那么电灯亮。 现在，开关闭合。 所以，电灯亮。 思维形式：如果甲是乙，那么丙是丁。假设 如今，甲是乙。 条件 所以，丙是丁。 结论 注意：在推理过程中，如果前提为真，且推理形式正确，则结论一定为真。否则结论就不可靠。（二者缺一不可！） 11.1 形式逻辑 例5（P169） 所有三好学生都认真学习。 甲不是三好学生。 所以，甲学习不认真。 结论是否正确？ （×，不能得出此结论！因为“所有三好学生都认真学习”，并不意味着非三好学生就不认真学习！） 此例中，推理形式不正确！ 11.1 形式逻辑 例6（P169） 凡是普通话说的好的人都是北京人。 甲普通话说的好。 所以，甲是北京人。 结论是否正确？ 前提是否为真？ 推理形式是否正确？ 结论不正确，因为前提不为真！ 从例5和例6可以看出，从真实的前提出发，使用正确的推理形式，则能够得出真实的结论。但需要注意的是，形式逻辑关注的重点在于其推理形式是否正确，而并不关心结论的真实性。 11.1 形式逻辑 证明也是推理的一种！ 推理：已知判断→新的判断 证明：论据→论题（结论） 研究方法（ P167 ）：引进一套形式符号体系，规定一些规则，将推理变得像代数演算一样。 11.2 命题和命题公式 学习目标 深刻理解命题概念 原子命题，复合命题，逻辑联结词 命题公式的定义和分类 真值表的构造！ 1.命题 命题：可以判断真假的语句。 例：判断下列哪些是命题？哪些不是? 地球是圆的； 2+3=5； 你知道命题逻辑吗？ 3-x=5； 请安静！ 火星表面的温度是800℃； 明天是晴天； 我正在撒谎。 1.命题 真命题：命题表达的判断是真的。 假命题：命题表达的判断是假的。 例：判断下面哪些是真命题？哪些是假命题？