第1讲-------离散数学.pptVIP

* 命题符号化（举例、续） 例：老王或老李中的一个人去出差，当且仅当不是他们都去或者都不去。 解：p ：老王去出差； q ：老李去出差； 原命题符号化结果是： ( ( p∧?q)∨(?p∧q ) ) ? ( ?( (p∧q)∨(?p∧?q) ) ) * 联结词集 {?， ∧，∨，→，?} 一元联结词? 二元联结词∧，∨，→，? * 联结词优先级 ?， ∧，∨，→，? * 作业： P13 习题一1、2(选三个)、6、7 注：要求注明各命题符号表示的命题 * * （第一次：勾股定理，无理数的发现） （第二次：无穷小量是不是零？） * * * 真值：一命题总是具有一个“值”，称为真值　（真Ｔ、假Ｆ） 1854年英国数学家George Boole 《The laws of Thought》讨论了命题的复合 * * 引出命题变元，p,q可以表示任何命题 * 第一部分 数理逻辑 数理逻辑(Mathematical Logic)又称符号逻辑(Symbolic Logic)是用数学方法来研究推理的形式结构和推理规律的数学学科。与计算机科学、人工智能、语言学等有密切的联系。有证明论、模型论、递归论、集合论四大分支 本课程介绍数理逻辑最基本的内容：逻辑演算中的命题逻辑和一阶逻辑 * 简单历史——三个阶段（一） 1、初始阶段：1660年代—19世纪末 将数学应用于逻辑 Aristotle：形式逻辑（主词和谓词逻辑）。 Leibniz：建立直观而又精确的思维演算。 遇有争论，双方可以拿起笔来说：让我们来算一下。 George Boole: 逻辑代数。 De Morgan: 关系逻辑。 [1] 王宪钧，数理逻辑引论，北京大学出版社，1982。 * 简单历史——三个阶段（二） 2、过度阶段：19世纪末— 1940前后 逻辑应用于数学 非欧几何与公理化方法。 微积分与实数理论，Piano算术。 集合论与数学基础(1900年世界数学家大会) 悖论与第三次数学危机，Hilbert计划。 * 简单历史——三个阶段（三） 3、成熟阶段：1930s — 1970年 成为数学的独立分支 G?del完全性定理和不完全性定理。 四个分支： 公理集合论：大基数，连续统问题 递归论（可计算性理论）：Turing机，不可解性 模型论：实数的非标准模型 证明论：超穷归纳法, Gentzen的数论和谐性证明 * 与计算机科学的联系 布尔电路：香弄Shanon是第一人。 计算理论：可计算性，Turing机，形式语言，自动机，计算复杂性。 程序语义与验证技术. Intel bug: 5亿美元。 程序的自动生成与转换。 SQL: 本质上等价于一阶逻辑。 Prolog语言——以逻辑演算为基础 LISP语言——以λ演算为基础 人工智能：非单调推理，缺省推理。 信息安全等 …… * 用一组基本的指令来编制一个计算机程序，非常类似于从一组公理来构造一个数学证明。 D.E.Knuth D.E.Knuth的话 * Dijkstra的话 我现在年纪大了，搞了这么多年软件，错 误不知犯了多少，现在觉悟了，我想，假 如我早年在数理逻辑上好好下点功夫的话， 我就不会犯这么多错误，不少东西逻辑学 家早就说了，可我不知道要是我能年轻20 岁的话我要回去学逻辑。 [1] 钱学森，关于思维科学的研究，思维科学，第3卷，1987。 [2] M. Y. Vardi, A Brief History of Logic, 2003. * 第1章 命题逻辑 命题演算或命题逻辑（Propositional calculus or propositional logic） 符号化 精确化 * 命题逻辑 逻辑主要研究推理过程，而推理过程必 须依靠命题来表达。 在命题逻辑中，“命题”被看作最小单位。 数理逻辑中最基本、最简单的部分。 * 第1章 主要内容 命题与联结词 命题公式、真值表 重言式、逻辑等值式 对偶与范式 推理理论与形式结构 * 什么是命题(proposition) 命题：真假值唯一确定的陈述句。 地球围绕太阳转。 2+2=5。 多冷啊！关上门吧！ 你去锻炼身体了吗？ 火星上有生命。 x+1=3。 这句话是假的。 * 更多命题 (1)13不是偶数。 (2)13是偶数也是奇数。 (3)他一边走路一边唱歌。 (4)她或许数学成绩好，或许英语成绩好。 (5)开往烟台的K285次火车三点或四点出发。 (6)如果你努力学习，那么就可以得奖学金。 (7)只要不下雨，我就骑自行车上班。 (8)只有不下雨，我才骑自行车上班。 (9)两圆的面积相等当且仅当它们的半径相等。 * 常