离散数学-数理逻辑.pptVIP

离 散 数 学（第3版） 马叔良 主编 电子工业出版社 第1章 绪论 主要内容 一、离散数学的研究对象； 二、离散数学的主要内容； 三、学习离散数学的方法。 第1章 绪论 一、离散数学的研究对象 1、数学及其分类 数学：研究数量、结构、变化及空间模型等概念的一门科学。 分类：模糊数学和离散数学 分支：经典数学、近代数学、计算机数学、随机数学 经济数学 2、离散数学的研究对象 主要研究“离散量”的结构及其对应关系,以便于抽象出数学模型用于解决实际的问题。其中离散量是指可取到有限个或无限可列个值。 例如：{0，1，2，3,…} 第1章 绪论 二、离散数学的主要内容 主要包括四大部分： 1、数理逻辑（第2章） 2、集合论（第3、4章） 3、代数系统[代数结构]（第6、7章） 4、图论（第5章） 第1章 绪论 三、学习离散数学的方法 离散数学是计算机专业的基础数学课程，一方面有其实用性，另一方面有其本身作为数学基础的严谨的理论性。 学习方法： 首先：掌握好基本概念和术语，在此基础上理解每一基本定理的本质。 然后：通过学习和借鉴书中提供的例题，独立地完成每一次作业。 第2章 数理逻辑 主要内容 一、命题 二、命题联结词 三、命题的合式公式 四、真值表、永真式和永假式 五、公式的等价与蕴含 六、公式的主范式 七、命题演算的推理理论 八、命题逻辑和二值逻辑元件 第2章 数理逻辑 九、一阶谓词逻辑 十、命题函数和个体变量及量词 十一、谓词公式 十二、谓词演算的推理理论 第2章 数理逻辑 一、命题 基本概念 概念、判断、数理逻辑、有效推理 1、命题的概念 什么叫命题？ 命题的分类 原子命题、复合命题 2、命题的表示 命题的表示方法： 命题常量与命题变量 指派 第2章 数理逻辑 例：命题的判断（总结判断命题的方法） 1、宇宙中必然存在除人类以外的智慧生物。 2、101+1=110。 3、天下雪了。 4、你就别去了吧。 5、上海是一个国际大都市。 6、2020年人类将踏上火星。 7、DNA为什么被称为生命的密码？ 8、哥伦布发现了美洲大陆。 9、罗马是法国的首都 10、托马斯为本镇所有不刮自己脸的男人刮脸。 第2章 数理逻辑 悖论与诡辩 （1）悖论：指在逻辑上可以推导出互相矛盾的结论，但表面上又能自圆其说的命题或理论体系。 几个经典的悖论 1、哲学家Epimenides:“所有克利特人都在说谎，他们中的一个诗人这么说。” 2、理发师悖论 3、苏格拉底悖论（“我只知道一件事，那就是什么都不知道。”） 思考：悖论是不是命题？为什么？ （2）诡辩：有意地把真理说成错误或把错误说成真理的狡辩。颠倒黑白，混淆是非。 例如：有甲乙两个人，甲很干净，乙很脏，如果他们洗澡，他们中间谁会先洗？（任何回答都可以反驳，这就是诡辩。） 第2章 数理逻辑 二、命题联结词 基本概念 联结词、命题公式与复合命题。 1、联结词的定义 （1）否定 否定的定义 表示方法及真值表 （2）合取 合取的定义 表示方法及真值表 第2章 数理逻辑 （3）析取 析取的定义 表示方法及真值表 （4）条件（蕴含） 条件的定义 表示方法及真值表 （5）双条件 双条件的定义 表示方法及真值表 2、命题逻辑中联结词的最小集?? 最小集：{﹃， ∧}或{﹃， ∨} 第2章 数理逻辑 等价转换：当最小集为{﹃， ∨} P ∧ Q P → Q P? Q 命题公式中联结词的优先级规则：P10 第2章 数理逻辑 三、命题的合式公式 1、合式公式的定义 按以下规则由命题标识符、括号和联结词构成的一个符号串称为合式公式（wff） （1）、单一的命题变元P、Q是wff； （2）、若P是wff，则﹃P也是wff； （3）、P、Q均是wff，则（P ∨ Q）、（P ∧ Q）、（P → Q）、（P ? Q）也都是wff； （4）、一个符号串是一个wff，当且仅当它可以有限次引用以上（1）、（2）、（3）各步骤而生成。 2、语句的符号化 第2章 数理逻辑 例1：今天下午3:00，我在教室或在阅览室。 例2：晚会上，她唱歌或跳舞。 （注意比较：晚会上，她先唱歌，而后又跳舞了。） 例3：小张成绩好，待人也好。 例4：如果你和他不都固执己见的话，就不会发生不愉快了。 （比较：如果你和他都不固执己见的话，不愉快就不会发生了。） 第2章 数理逻辑 四、真值表、永真式和永假式 1、真值表 所有不同指派以及相应公式的真值以一个命题（真值）以表格的形式输出。称为真值表。 例1：给出﹃ P ∨ Q的真值表。 例2：给出公式（P ∨ Q） ∧ （ ﹃ P ∧ ﹃ Q）的真值表 2、永真式和永假式 命题公式分类：永假式，可满足式（包含永真式） 永假式（矛盾） 永真式（重言式或