第1章 命题逻辑hhs.ppt

第1章 命题逻辑hhs.ppt引言
课程简介
离散数学是现代数学的一个重要分支,是计算机科学中基础理论的核心课程,它研究的对象是有限个或可数的离散量。充分描述了计算机科学离散性的特征。
离散数学是传统的逻辑学、集合论、数论基础、算法设计、组合分析、离散概率、关系理论、图论与树、抽象代数、布尔代数、计算模型等汇集起来的一门综合学科。离散数学的应用遍及现代科学技术的诸多领域。
离散数学是随计算机科学的发展而逐步建立起来的一门新兴的工具性学科,形成于七十年代。
引言
课程意义
离散数学是计算机科学的数学基础,其基本概念、理论、方法大量地应用在数字电路、编译原理、数据结构、操作系统、数据库系统、算法设计、人工智能、计算机网络等专业课程中,是这些课程的基础课程。
离散数学学习十分有益于概括抽象能力、逻辑思维能力、归纳构造能力的提高,能够培养提高学生的数学思维能力和对实际问题的求解能力。
教学内容
数理逻辑、集合论、代数结构、图论
引言
教学内容
第一部分数理逻辑
第一章命题逻辑
第二章谓词逻辑
第二部分集合论
第三章集合与关系
第四章函数
引言
教学内容
第三部分代数系统
第五章代数结构
第六章格与布尔代数
第四部分图论
第七章图与树
第一部分数理逻辑
逻辑学
是一门研究思维形式和规律的科学。分为辩证逻辑和形式逻辑两种。思维的形式结构包括了概念﹑判断和推理之间的结构和联系,其中概念是思维的基本单位,通过概念对事物是否具有某种属性进行肯定或否定的回答,就是判断。由一个或几个判断推出另一判断的思维形式就是推理。
数理逻辑
用数学方法研究推理的规律称为数理逻辑。所谓数学方法就是引用一套符号体系的方法,所以数理逻辑又称作符号逻辑。
第一部分数理逻辑
现代数理逻辑
逻辑演算、逻辑演绎、模型论、证明论、递归函数论、公理化集合论等。
我们要介绍的是数理逻辑中最基本的内容:命题逻辑和谓词逻辑。即一般所谓的古典逻辑。
德国数学家莱布尼茨Leibniz(现代逻辑的首席创始人);布尔Boole (奠基人,逻辑的数学分析);弗雷格(数论的基础)
第一章命题逻辑
命题逻辑也称命题演算或语句逻辑。它研究以“命题”为基本单位构成的前提和结论之间的可推导关系,研究什么是命题?如何表示命题?怎样由一组前提推导一些结论。
概念
判断
推理
命题与命题联结词

:具有确切真值的陈述句(或断言)称为命题(Proposition)。
命题的取值称为真值。真值只有“真”和“假”两种,分别用“T”或“1”和“F”或“0”表示。
注意:命题的真值非真即假,只有两种取值,这样的系统为二值逻辑系统。
命题与命题联结词
例1-1:命题示例。
(a):今天下雪 (b):3+3=6
(c):2是偶数而3是奇数
(d):陈胜起义那天,杭州下雨
(e):较大的偶数都可表为两个质数之和
(f):x+y>4 (g):真好啊! (h):x=3
(i):你去哪里? (j):我正在说谎。
注意:由定义知,一切没有判断内容的句子如命令,感叹句,疑问句,祈使句,二义性的陈述句等都不能作为命题。
命题与命题联结词
例1-2:下列句子哪些是命题,判断命题的真假。
(1):2是素数(2):北京是中国的首都
(3):这个语句是假的
(4):x+y>0 (5):我喜欢踢足球
(6):地球外的星球上也有人
(7):明年国庆节是晴天
(8):把门关上
(9):你要出去吗?
(10):今天天气真好啊!