1-1命题与联结词.pptVIP

讲授人：胡 盛 第一篇 数理逻辑 第一章 数理逻辑 1-1 命题及其表示方法，1-2 联结词 * 数理逻辑 逻辑学： 研究推理的一门学科 数理逻辑： 用数学方法研究推理的一门数学学科 -------- 一套符号体系 + 一组规则 第一章 数理逻辑 1-1 命题及其表示方法，1-2 联结词 * 数理逻辑的内容 古典数理逻辑： 命题逻辑、谓词逻辑 现代数理逻辑： 公理化集合论、递归论、模型论、证明论 问题提出 论证下面论断的有效性 如果张老师来了，这个问题可以得到解答，如果李老师来了这个问题可以得到解答，总之张老师或李老师来了，这个问题就可得到解答。 第一章 数理逻辑 1-1 命题及其表示方法，1-2 联结词 * 第一章 数理逻辑 1-1 命题及其表示方法，1-2 联结词 * 第一章 命题逻辑 命题逻辑是数理逻辑的基本组成部分，是谓词逻辑的基础，谓词逻辑是命题逻辑的推广。 意义 在于探索出一套完整的规则，按照这些规则，就可以确定任何特定论证是否有效。这些规则，通常称为推理规则。 第一章 数理逻辑 1-1 命题及其表示方法，1-2 联结词 * 第一章 命题逻辑 数理逻辑体系 就是目标语言 + 符号体系。 原因 避免自然语言的二义性 如：我叫他把他的笔记本拿过来。 目标语言 是命题集合 第一章 数理逻辑 1-1 命题及其表示方法，1-2 联结词 * 第一章 命题逻辑 本章重点： 命题公式（命题、联结词）、命题间的关系、基于命题的推理 本章难点： 命题公式翻译 基于命题的推理 第一章 数理逻辑 1-1 命题及其表示方法，1-2 联结词 * 1-1 命题及联接词 定义: 能表达判断的语句，并且具有真值的陈述句 真值：一个命题总是具有一个“值”，称为真值。真值只有“真”和“假”两种，分别记为T和F 第一章 数理逻辑 1-1 命题及其表示方法，1-2 联结词 * 1-1 命题及联接词 命题的语句形式 陈述句 非命题语句： 疑问句 祁使句 感叹句 非命题陈述句：悖论语句 第一章 数理逻辑 1-1 命题及其表示方法，1-2 联结词 * 1-1 命题及联接词 说明： 1. 是陈述性语句，而不能是疑问句、祁使句、感叹句等； 2. 语句或真或假的，二者必取一，不能即真即假； 3. T 和 F 分别表示“真的”和“假的”,统称为真值，有时也用 1 和 0 分别表示它们。因为只有两种真值，所以这种逻辑有时称为二值逻辑。 4. 悖论不是命题 悖论：如果有一个句子B，如果承认B，则可以推出非B成立，反之如果承认非B，又可推出B成立。 第一章 数理逻辑 1-1 命题及其表示方法，1-2 联结词 * 悖论 故事：克里特人伊壁孟德 伊：所有的克里特人都是撒谎者。 在一切逻辑的悖论里特点：“论断者属于论断主体集。” 第一章 数理逻辑 1-1 命题及其表示方法，1-2 联结词 * 1-1 命题及联接词--实例：说明命题的概念 中国人民是伟大的。 雪是黑的。 1+101=110 别的星球上有生物。 全体立正！ 明天是否开大会？ 天气多好啊！ 我正在说谎。 我学英语，或着我学日语。 如果天气好，那么我去散步。 课堂练习 离散数学是云南大学软件学院的一门必修课。 计算机有空吗？ 明天我去看电影。 请勿随地吐痰！ 不存在最大质数。 如果我掌握了英语、法语，那么学习其他欧洲语言就容易得多。 9+5≤12 x=3 全体解散！ 第一章 数理逻辑 1-1 命题及其表示方法，1-2 联结词 * 第一章 数理逻辑 1-1 命题及其表示方法，1-2 联结词 * 1-1 命题及联接词—概念及表示 几个相关概念： 原子命题不能分解成更简单的陈述语句的命题。 复合命题多个原子命题由联结词和标点符号联结起来构成的命题。复合命题的真值只与原子命题的真值有关。 这两种命题