ch1逻辑与证明.ppt

离数数学 主讲者:吝维军、赵俊 绪言 一、离散数学研究离散量的结构和相互间的关系 整数: ...,-3,-2,-1,0,1,2,3,... 序 群 现实问题 能否从河的两岸或两个小岛中的任何一处出发,经过每座桥一次且仅仅一次,再返回到出发点? 从任一点出发,经过每条边一次且仅一次,回到起点? 二、离散数学是现代数学的一个分支（形成于70年代） 数理逻辑、集合与关系、代数系统、图论 三、离散数学与计算机科学的关系 离散数学是计算机科学与技术的理论基础，是计算机科学与技术的核心骨干课程 它给数据结构、编译系统、操作系统、数据库原理、人工智能提供必要的数学基础。 形式化、符号化的方法，培养和提高了学生的抽象思维能力、逻辑推理能力。 教材及参考书目 《离散数学》第五版，（Discrete Mathematics） Richard Johnsonbaugh著， 石纯一等译，人民邮电出版社； 《离散数学》,左孝凌等,上海科学技术文献出版社 《离散数学》,王遇科,北京理工大学 《离散数学》,李盘林等,高等教育出版社 第一章 逻辑与证明 一、逻辑 逻辑: 研究推理，关注推理的正确性。 数理逻辑 用数学方法（形式化、公理化）研究前提和结论之间的形式关系。 特别是数学中的推理的科学。 各门学科中都要进行推理，从具体的前提出发，得出具体的结论。 例 （1）函数f(x)在闭区间[a,b]上连续 （2）f(a).f(b)0 （3）存在c∈(a,b)使f(c)=0. 又如： （1）a=0或a0 （2）a不等于0 （3）a0 数理逻辑研究的推理的特点：不注重内容，注重形式关系 (1）A ∨ B （2）?A （3）B 二、证明 构造一个命题正确性的证明过程称为证明 三、学习的要点 掌握使用符号形式地刻划概念、推理和思维的基本思想和方法 掌握形式的描绘和直观之间的关系 形意相通 1.1-1.2 命题与逻辑等价 一. 命题 数理逻辑研究的中心问题是推理 推理的前题和结论都是表达判断的陈述句 称能判断真假的陈述句为命题 ６是自然数． 如果天气好，那么我去散步． 你听懂了吗？ 注： 真值，命题的值 判断为正确的命题的真值为真，用T表示 判断为错误的命题的真值为假，用F表示 命题的种类 原子命题（简单命题）、复合命题 命题的表示 小写英文字母: p,q,r… 二. 基本逻辑运算(联结词) 否定联结词 ? 否定命题：非p ?p ?p的真值为T当且仅当p为F 合取联结词 ∧ p与q、p合取q p∧q p∧q为T当且仅当p和q均为T 析取联结词 ∨ p或q、要么p要么q p∨q p∨q为F当且仅当p和q均为F 条件联结词（蕴涵联结词） → 条件命题：如果p那么q p→q p→q为F当且仅当p为T，q为F 双条件联结词（等值联结词） ? 双条件命题：p当且仅当q p?q p?q为T当且仅当p和q的真值相同 注: 析取联结词是“可兼或”的抽象 q→p 称为p→q的逆命题 ?q→ ?p 称为p→q的逆否命题 复合命题的真值只取决于构成它们的各原子命题的真值，而与其内容、含义无关 联结词有操作或运算的含义 可看作一元运算符、二元运算符，…… 例1：将下列命题符号化 (1)他既会唱歌又会跳舞。 (2)如果2+2=4,太阳将从东方升起． (3)伦敦在英国或法国. (4)如果我上街,我就去书店看看,除非我很累. (5)除非天气好，我才骑自行车上班。 解:(1) p：他会唱歌。 q：他会跳舞。 则(1)可表示为：p∧q (2) p： 2+2=4。 q：太阳将从东方升起。 (2)可表示为: p→q (3) p:伦敦在英国. q:伦敦在法国. 则(3)可表示为(p∧?q)∨(?p∧q) (p∨q) ∧? (p∧q) ? p?q (4)p:我上街. q: 我去书店. r:我很累. (4)可符号化为: ?r→ (p→q) (5) p:我骑自行车上班。q:天气好。 则(5)可表示为p→q　或?q→?p 三.公式与真值表 定义 命题逻辑中的合式公式(wff): (本教材命题) (1)单个命题变元是合式公式. (2)如果A是合式公式,则(?A)是合式公式. (3)如果A和B是合式公式,则(A∧B),(A∨B),(A→B),(A?B)是合式公式. (4)有限次地使用(1),(2),(3)所得到的结果是合式公式. 注: (1) 定义是以递归形式给出的 (2) 合式公式有无穷多个 (3) 合式公式没有真值,只有对其命题变元指派真值后,方有真值. 约定: (1) 公式最外层的括号可省略 (2) 联结词运算的优先次序:?,∧,∨,→, ? (