离散数学 Discrete Mathematics

Slides:



Advertisements
Similar presentations
质数和合数 中心小学 顾禹 人教版小学五年级数学下册 一、激趣导入 提示:密码是一个三位 数,它既是一个偶数, 又是 5 的倍数;最高位是 9 的最大因数;中间一位 是最小的质数。你能打 开密码锁吗?
Advertisements

1 、谁能说说什么是因数? 在整数范围内( 0 除外),如果甲数 能被乙数整除,我们就说甲数是乙数的 倍数,乙数是甲数的因数。 如: 12÷4=3 4 就是 12 的因数 2 、回顾一下,我们认识的自然数可以分 成几类? 3 、其实自然数还有一种新的分类方法, 你知道吗?这就是我们今天这节课的学.
因数与倍数 2 、 5 的倍数的特征
质数和合数 2 的因数( ) 6 的因数( ) 10 的因数 ( ) 12 的因数 ( ) 14 的因数 ( ) 11 的因数 ( ) 4 的因数( ) 9 的因数( ) 8 的因数( ) 7 的因数( ) 1 、 2 、 3 、 4 、 6 、 12 1 、 11 1 、 2 、 5 、 10.
3 的倍数的特征 的倍数有 : 。 5 的倍数有 : 。 既是 2 的倍数又是 5 的倍数有 : 。 12 , 18 , 20 , 48 , 60 , 72 , , 25 , 60 ,
2 和 5 的倍数的特征 运动热身 怎样找一个数的倍数? 从小到大写出 2 的倍数( 10 个): 写出 5 的倍数( 6 个) 2 , 4 , 6 , 8 , 10 , 12 , 14 , 16 , 18 , 20 5 , 10 , 15 , 20 , 25 , 30.
2.8 函数的微分 1 微分的定义 2 微分的几何意义 3 微分公式与微分运算法则 4 微分在近似计算中的应用.
2.5 函数的微分 一、问题的提出 二、微分的定义 三、可微的条件 四、微分的几何意义 五、微分的求法 六、小结.
全微分 教学目的:全微分的有关概念和意义 教学重点:全微分的计算和应用 教学难点:全微分应用于近似计算.
冀教版四年级数学上册 本节课我们主要来学习 2 、 3 、 5 的倍数特征,同学们要注意观察 和总结规律,掌握 2 、 3 、 5 的倍 数分别有什么特点,并且能够按 要求找出符合条件的数。
练一练: 在数轴上画出表示下列各数的点, 并指出这些点相互间的关系: -6 , 6 , -3 , 3 , -1.5, 1.5.
2 、 5 的倍数特征 集合 2 的倍数(要求) 在百数表上依次将 2 的倍数找出 并用红色的彩笔涂上颜色。
第五章 二次型. 第五章 二次型 知识点1---二次型及其矩阵表示 二次型的基本概念 1. 线性变换与合同矩阵 2.
离散数学 薛广涛 计算机科学与工程系 上海交通大学.
《高等数学》(理学) 常数项级数的概念 袁安锋
四种命题 2 垂直.
常用逻辑用语复习 知识网络 常用逻辑用语 命题及其关系 简单的逻辑联结词 全称量词与存在量词 四种命题 充分条件与必要条件 量词 全称量词 存在量词 含有一个量词的否定 或 且 非或 并集 交集 补集 运算.
常用逻辑用语 之命题及其关系 高州市第一中学 曾静.
1.1.1命题及其关系.
简易逻辑.
简易逻辑.
四种命题的相互关系.
1.1.2四种命题 1.1.3四种命题间的相互关系.
1.1.3四种命题的相互关系 高二数学 选修2-1 第一章 常用逻辑用语.
常用逻辑用语复习课 李娟.
热烈欢迎专家光临指导!!.
1-5重言式与蕴含式 1-5.1重言式(tautology) 定义1-5.1 [重言式]:
命题 高中数学选修1-1 第一章 常用逻辑用语 主讲:刘小苗.
例题 教学目的: 微积分基本公式 教学重点: 牛顿----莱布尼兹公式 教学难点: 变上限积分的性质与应用.
高等数学电子教案 第五章 定积分 第三节 微积分基本定理.
第五节 微积分基本公式 、变速直线运动中位置函数与速度 函数的联系 二、积分上限函数及其导数 三、牛顿—莱布尼茨公式.
第二节 微积分基本公式 1、问题的提出 2、积分上限函数及其导数 3、牛顿—莱布尼茨公式 4、小结.
第5章 定积分及其应用 基本要求 5.1 定积分的概念与性质 5.2 微积分基本公式 5.3 定积分的换元积分法与分部积分法
第三节 格林公式及其应用(2) 一、曲线积分与路径无关的定义 二、曲线积分与路径无关的条件 三、二元函数的全微分的求积 四、小结.
余角、补角.
探索三角形相似的条件(2).
第一章 函数 函数 — 研究对象—第一章 分析基础 极限 — 研究方法—第二章 连续 — 研究桥梁—第二章.
第二章 逻辑和证明 2.2 命题等价 命题演算:用真值相同的命题取代另一个 在证明时广泛使用 定义1. 永真式(重言式):真值总是真
第一章 函数与极限.
人教版五年级数学上册第四单元 解方程(一) 马郎小学 陈伟.
6.4不等式的解法举例(1) 2019年4月17日星期三.
实数与向量的积.
相似三角形 石家庄市第十中学 刘静会 电话:
第一部分 数理逻辑 主要内容 命题逻辑基本概念 命题逻辑等值演算 命题逻辑推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理.
第 一 篇 数 理 逻 辑.
线 性 代 数 厦门大学线性代数教学组 2019年4月24日6时8分 / 45.
第2章 命题逻辑 2.1 命题逻辑的基本概念 命题与真值 简单命题与复合命题 命题符号化 五个联结词 命题常项、命题变项与合式公式
复习.
冀教版八年级下册 22、2平行四边形的判定(2) 东城中学 孙雅力.
人教版高一数学上学期 第一章第1.7节 四种命题(2)
第一部分 数理逻辑 数理逻辑又称符号逻辑、理论逻辑。它既是数学的一 个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或
定理21.9(可满足性定理)设A是P(Y)的协调子集,则存在P(Y)的解释域U和项解释,使得赋值函数v(A){1}。
§6.7 子空间的直和 一、直和的定义 二、直和的判定 三、多个子空间的直和.
1.2 子集、补集、全集习题课.
1.设A和B是集合,证明:A=B当且仅当A∩B=A∪B
第4课时 绝对值.
学习任务三 偏导数 结合一元函数的导数学习二元函数的偏导数是非常有用的. 要求了解二元函数的偏导数的定义, 掌握二元函数偏导数的计算.
第15讲 特征值与特征向量的性质 主要内容:特征值与特征向量的性质.
第二章 逻辑和证明 2.7小结 数理逻辑的基本思想:逻辑推理机械(演算)化 数理逻辑的基本方法:符号化
2.2直接证明(一) 分析法 综合法.
平行四边形的性质 鄢陵县彭店一中 赵二歌.
主讲教师 欧阳丹彤 吉林大学计算机科学与技术学院
定义21.17:设P1=P(Y1)和P2=P(Y2),其个体变元与个体常元分别为X1,C1和 X2,C2,并且或者C1=或者C2。一个半同态映射(,):(P1,X1∪C1)→(P2,X2∪C2)是一对映射: P1→P2; : X1∪C1→X2∪C2,它们联合实现了映射p(x,c)→(p)((x),
我们能够了解数学在现实生活中的用途非常广泛
第四节 向量的乘积 一、两向量的数量积 二、两向量的向量积.
第三节 数量积 向量积 混合积 一、向量的数量积 二、向量的向量积 三、向量的混合积 四、小结 思考题.
位似.
学习数据结构的意义 (C语言版) 《数据结构》在线开放课程 主讲人:李刚
§2 自由代数 定义19.7:设X是集合,G是一个T-代数,为X到G的函数,若对每个T-代数A和X到A的函数,都存在唯一的G到A的同态映射,使得=,则称G(更严格的说是(G,))是生成集X上的自由T-代数。X中的元素称为生成元。 A变, 变 变, 也变 对给定的 和A,是唯一的.
1.2.2 充要条件 高二数学 选修 1-1 第一章 常用逻辑用语.
Presentation transcript:

离散数学 Discrete Mathematics

引言 为什么要学习离散数学?     离散数学是现代数学的一个重要分支,它充分描述了计算机科学离散性的特点,是计算机学科的数学基础,是计算机专业必修的专业基础课。     20世纪,计算机学科及其它学科为应用数学提出了越来越多的问题,而几乎所有这些问题都具有离散的性质,亦具有有限结构,在解决和转换这些问题的过程中应用数学的新学科——离散数学诞生和发展了。     什么是离散的性质呢?简单地说,是问题本身具有离散的结构,它们涉及的函数是定义在离散的点而不是连续的点的集合上,即它们涉及离散的量,因而需要离散地求解这些问题。     数字计算机本身就是点量的机器,它仅涉及整数,而离散数学恰好提供点量的模型,于是它成为计算机学科的一个极其有用且容易理解的工具。            

一、内容简介 离散数学主要讲授数理逻辑、集合论、近世代数与图论四个部分。      离散数学是现代数学的一个重要分支,是计算机科学中基础理论的核心课程,是计算机及应用专业的重要基础课程。离散数学与计算机科学中的数据结构、操作系统、编译原理、算法设计与分析、逻辑设计、系统结构、容错诊断、人工智能等课程紧密联系。 离散数学主要讲授数理逻辑、集合论、近世代数与图论四个部分。        

二、本课程的目的和任务       由于离散数学的重要地位,因此通过本课程的教学,使计算机及应用专业的学生能够掌握数理逻辑、集合论、近世代数与图论的基本概念、基本定理、基本方法,并且培养学生具有一定的抽象思维能力和逻辑推理能力。同时为计算机及应用专业的其它重要后续课程(如数据结构、操作系统、编译原理等课程)奠定比较坚实的基础。

三、本课程与其它课程的关系      学生在进入本课程之前,应学习下列课程:          ·高等数学(一元微积分部分)          ·工程数学(线性代数部分)      本课程学习结束后,学生才能进入下列课程学习阶段:          ·数据结构          ·操作系统          ·编译原理      因此,本课程是一门重要的理论基础课,理论性强并且与许多专业基础课有着十分密切的联系,学生应对本门课程产生足够的重视。

 四、本门课的基本要求      1、数理逻辑      熟练掌握命题的连结词及其真值表、恒等式及永真蕴含式,掌握对偶与范式,了解其它连结词,熟练地进行命题逻辑的推理。      掌握谓词的概念及量词,对自然语言与逻辑语言能进行翻译,了解变元的约束,熟练掌握谓词演算的等价式与蕴含式,了解前束范式,熟练掌握谓词的推理理论与推理方法。      2、集合论      了解集合的运算、序偶、笛卡儿乘积,掌握关系及表示,关系的复合与逆关系,熟练掌握关系的性质、关系的闭包运算,了解集合的划分与覆盖,熟练掌握等价关系与等价类,掌握相容关系与序关系。了解映射的概念、逆映射与映射的复合,了解基数的概念、可数集与不可数集、基数的比较。      3、代数系统      了解代数的概念、运算及性质,掌握半群、独异点,掌握群与子群,熟练掌握阿贝尔群与循环群,熟练掌握陪集与拉格朗日定理,熟练掌握同态与同构,了解环与域。      了解格的概念,掌握分配格、有补格,熟练掌握布尔代数,了解布尔表达式。      4、图论      了解图的概念、路与回路,熟练掌握图的矩阵表示,掌握欧拉图与哈密顿图,掌握平面图、对偶图与着色,熟练掌握树与生成树,掌握树根与应用。

第一篇 数理逻辑 现代数理逻辑可分为证明论、模型论、递归函数论、公理化集合论等,这里介绍的是数理逻辑最基本的内容:命题逻辑和谓词逻辑。 第一篇 数理逻辑    逻缉学是一门研究思维形式及思维规律的科学。逻辑规律就是客观事物在人的主观意识中的反映。     逻辑学分为辩证逻缉与形式逻辑两种,前者是以辩证法认识论的世界观为基础的逻辑学,而后者主要是对思维的形式结构和规律进行研究的类似于语法的一门工具性学科。思维的形式结构包括了概念,判断和推理之间的结构和联系,其中概念是思维的基本单位,通过概念对事物是否具有某种属性进行肯定或否定的回答,这就是判断;由一个或几个判断推出另一判断的思维形式,就是推理。研究推理有很多方法,用数学方法来研究推理的规律称为数理逻辑,即通过引入表意符号研究推理,因此,数理逻辑又名符号逻辑。     现代数理逻辑可分为证明论、模型论、递归函数论、公理化集合论等,这里介绍的是数理逻辑最基本的内容:命题逻辑和谓词逻辑。 命题逻辑,也称命题演算,记为Ls。它与谓词逻辑构成数理逻辑的基础,而命题逻辑又是谓词逻辑的基础。           

学习《数理逻辑》这一篇的要求 一、学习目的与要求   一、学习目的与要求 本章目的是介绍命题逻辑的基本概念。掌握利用命题逻辑表示自然语言,描述概念、判断和推理。建立初步的语言形式化方法。

 二、知识点 1.命题的概念、表示方法;联结词的逻辑意义。 2.命题公式的递归定义,自然语言翻译成命题公式 3.真值表的构造、命题公式等价的概念。 4.重言式与蕴涵式的定义、逻辑意义,逻辑等价与逻辑蕴涵的意义和证明方法。常用的逻辑等价公式和逻辑蕴涵公式。

5.命题公式的对偶式、合取范式、析取范式、主合取范式、主析取范式。逻辑小项、逻辑大项。任给公式化为析取范式、任给公式化为主析取范式、任给公式化为合取范式、任给公式化为主合取范式。 6.命题逻辑的推理理论,主要的推理方法:真值表法、直接证明法、间接证明法。常用推理规则:P规则、T规则、CP规则。 7.命题逻辑的应用示例。

 三、要求 1.识记 命题表示方法、真值判断、命题公式的递归定义。 2.领会 联结词真值确定、翻译、命题公式的等价性和蕴涵性证明、任给公式化为析取范式、任给公式化为主析取范式、任给公式化为合取范式、任给公式化为主合取范式。 3.简单应用 命题逻辑推理规则。

第一章 命题逻辑 学时安排(14学时,共7讲) 教 学 内 容 学时 §1—1 命题及其表示法 §1—2 联结词 2     第一章 命题逻辑 学时安排(14学时,共7讲) 教 学 内 容 学时 §1—1 命题及其表示法 §1—2 联结词 2 §1—3 命题公式与翻译 §1—4 真值表与等价公式 §1—5 重言式与蕴含式 §1—6 其它连结词 §1—7 对偶与范式 §1—8 推理理论 4

        第一章 命题逻辑 第1讲 §1—1 命题及其表示法 §1—2 联结词 要求:深刻理解命题、真值、 原子命题 、复合命题 、命题标识符、命题常量、 命题变元、原子变元等概念, 熟练掌握命题的联结词及其真值表。

§1—1 命题及其表示法 一、命题 1、定义 能表达判断的陈述句称作命题(Proposition)。 例:判断下列语句是否为命题: 陈述句:述说一件事情的句子,句末用句号。 祈使句:要求或者希望别人做什么事或者不做什么事时用的句子,句末用句号或感叹号。 疑问句:提出问题的句子,句末用问号。 感叹句:带有浓厚感情的句子,句末用感叹号。 悖:相反。悖论:自相矛盾的陈述。 §1—1 命题及其表示法 一、命题 1、定义 能表达判断的陈述句称作命题(Proposition)。 例:判断下列语句是否为命题: (1)地球外存在智慧生物。 (2)1+1=10。 (3)逻辑是枯燥无味的。 (4)你今年暑假去旅行吗?(疑问句) (5)克里特岛人说:“克里特岛人都是说谎话者”。(悖论)    

2、真值:命题所表达的判断结果称为命题的真值。真值只有“真”和“假”两种,记作True(真)和False(假),分别用符号T和F表示。 由于命题只有两种真值,所以称这种逻辑为二值逻辑。命题的真值是具有客观性质的,而不是由人的主观决定的。

再看下面的语句中,哪些语句是命题,如果是命题,指出它的真值: (1)能整除2的正整数是偶数。     (1)能整除2的正整数是偶数。  (2)对于每一个正整数n存在一个大于n的素数。   (3)煤是白的。(F)   (4)雪是黑的。(F)    (5)我学英语,或者我学日语。(T)   (6)在宇宙中地球是唯一有生命的地球。    (7)1+101=110   (8)买两张星期六的电影票。(祈使句)   (9)全体立正!(祈使句)   (10)明天是否开会?(疑问句)   (11)天气多好啊!(感叹句)   (12)我正在说谎。(悖论)      (1)、(2)和(5)是命题,真值为T。 (3)和(4)是命题,真值为F。 (6)是命题,有确定真值,只是目前还不知道。 (7)不是命题,在二进制中为T,在十进制中为F, 祈使句、疑问句、感叹句等都不能作为命题,悖论无真值,也不能作为命题。语句(8)—(12)都不是命题。

3、分类 命题有两种类型:原子命题和复合命题 (1)原子命题:不能分解为更简单的陈述句。 (2)复合(分子)命题:由联结词、标点符号和原子命题复合构成的命题。 前面例子中的(1),(2),(3),(4),(6),(7)是原子命题,(5)是复合命题。

练习:指出下列语句哪些是命题,哪些不是命题,如果是命题,指出它的真值。(见教材第8页习题(1)) a)离散数学是计算机科学系的一门必修课。      b)计算机有空吗?      c)明天我去看电影。      d)请勿随地吐痰!      e)不存在最大质数。      f)如果我掌握了英语、法语,那么学习其他欧洲语言就容易的多。      g)9+5≤12      h)x=3      i)我们要努力学习。

a),e),g),h)是原子命题,f)是复合命题。 解: a)离散数学是计算机科学系的一门必修课。 是命题,真值为T。      b)计算机有空吗? 疑问句,不是命题。      c)明天我去看电影。 是命题,真值要根据具体情况确定。      d)请勿随地吐痰! 祈使句,不是命题。      e)不存在最大质数。 是命题,真值为T。      f)如果我掌握了英语、法语,那么学习其他欧洲语言就容易的多。 是命题,真值为T。      g)9+5≤12 是命题,真值为F。      h)x=3 不是命题,x=3的真假由x确定,当x取3时句子为真,当x取其他值时句子为假。      i)我们要努力学习。 祈使句,不是命题。

三、命题的表示法     1、命题标识符:表示命题的符号称为命题标识符。在数理逻辑中,使用大写字母,或带下标的大写字母,或用方括号括起的数字表示表示命题。     例:P:今天下雨。     “今天下雨”是一个命题,P是命题标识符。 A1:今天下雨。     [12]:今天下雨。    A1  , [12]也是命题标识符。     2、命题常量:一个命题标识符如表示确定的命题,就称为命题常量。 3、命题变元:如果命题标识符只表示任意命题的位置标志,就称为命题变元。 命题变元可以表示任意命题,所以它不能确定真值,故命题变元不是命题。当命题变元用一个特定命题取代时,才能确定真值,这称为对命题变元进行指派。 4、原子变元:当命题变元表示原子命题时,该变元称为原子变元。

四、小结     学习本节要掌握下列概念:     命题 能表达判断的语句,并具有确定真值的陈述句。     真值 一个命题总具有一个“值”,称为真值。真值只有真和假两种,分别记为T和F。     原子命题 不能分解为更简单的陈述句,称为原子命题。     复合命题 由联结词、标点符号和原子命题复合构成的命题,称为复合命题。复合命题亦称分子命题。     命题标识符 表示命题的符号。     命题常量 一个命题标识符表示确定的命题,该标识符称作命题常量。     命题变元 题标识符如仅是表示任意命题的位置标志,就成为命题变元。     原子变元 当命题变元表示原子命题时,该变元称原子变元。          

§1—2 联结词     在数理逻辑中,复合命题是由原子命题与逻辑联结词组合而成,命题的连接方式叫做命题联结词或命题运算符。联结词是复合命题中的重要组成部分,为了便于书写和进行推演,必须对联结词作出明确规定并符号化。我们主要讨论下述五种联结词(亦称真值联结词,逻辑联结词或逻辑运算符),借助它们组成复合命题。  

(1)否定(Negation) (一元联结词) 1.定义 定义1-2.1 设P为一命题,P的否定是一个新的命题,记作 ┐P。若P为T,┐P为F;若P为F,┐P为T。联结词“┐”表示命题的否定,称为否定联结词或否定词,读作“非”或“not”。否定联结词有时亦可记作“ˉ”。 2.真值表 表1-2.1 命题P与其否定┐P的关系如表 1-2.1所示。 P ┐P T F

“否定”的意义仅是修改了命题的内容,它是一个一元运算,我们仍把它看作为联结词。 自然语言中的“不”、“无”、“没有”等词在命题演算中常与“非”相当。 例:P:今天下雨。 ┐P:今天不下雨。 ┐P:今天无雨。 ┐P:今天没有下雨。 P:上海是一个大城市。 ┐P:上海不是一个大城市。 ┐P:上海是一个不大的城市。 练习:P:一个世纪是一百年。写出┐P。

(2)合取(Conjunction) (二元联结词) 1.定义 定义1-2.2 两个命题P和Q的合取是一个复合命题,记作P∧Q。当且仅当P、Q同时为T时,P∧Q为T,在其他情况下,P∧Q的真值都是F。联结词“∧”称为合取词,读作“和”或“and”。 表1-2.2 P Q P∧Q T F 2.真值表 联结词“∧”的定义如表1-2.2所示。 表1-2.2中给出复合命题P∧Q为T当且仅当P、Q同时为T。

与“和”有相同意义的汉字还有“与”、“以及”、“并且”、“而且”等。 例:P:今天下雨。 Q:明天下雨。 上述命题的合取为 P∧Q:今天下雨而且明天下雨。 P∧Q:今天与明天都下雨。 P∧Q:这两天都下雨。 显然只有当“今天下雨”与“明天下雨”都是真时,“这两天都下雨”才是真的。

合取的概念与自然语言中的“与”意义相似,但并不完全相同。例如 P:我们去看电影。 Q:房间里有十张桌子。 上述命题的合取为 P∧Q:我们去看电影与房间里有十张桌子。 在自然语言中,上述命题是没有意义的,因为P与Q没有内在联系,但作为数理逻辑中P和Q的合取P∧Q来说,它仍可成为一个新的命题,只要按照定义,在P、Q分别取真值后,P∧Q的真值也必确定。

例如 ①P:1+1=2 Q:地球是行星。 P∧Q:1+1=2与地球是行星。 P∧Q的真值为T。 ②P:1+1=2 Q:地球是恒星。 P∧Q:1+1=2与地球是恒星。 P∧Q的真值为F。

③P:1+1=3 Q:地球是行星。 P∧Q:1+1=3与地球是行星。 P∧Q的真值为F。 ④P:1+1=3 Q:地球是恒星。 P∧Q:1+1=3与地球是恒星。

命题联结词“合取”甚至可以将两个互为否定的命题联结在一起。这时,其真值永为F。 P:今天下雨。 Q:今天不下雨。(此时Q既是┐P) P∧Q:今天下雨与今天不下雨。 P∧Q的真值为F。 命题联结词“合取”也可以将若干个命题联结在一起。 “合取”是一个二元运算。

注意,并非所有的“和”、“与”、“并且”均可用“∧”表示。例如“李华和张南是表兄弟。”“王丽与王萍是堂姐妹”“他打开箱子并且取出一件衣服来。”这三句中的“和”、“与”、“并且”就不能用“∧”表示。 练习:P:一个世纪是一百年。 Q:4是偶数。 写出P∧Q并确定其真值。

(3)析取(Disjunction) (二元联结词) 1.定义 定义1-2.3 两个命题P和Q的析取是一个复合命题,记作P∨Q。当且仅当P、Q同时为F时,P∨Q为F,否则P∨Q的真值为T。联结词“∨”称为合取词,读作“或”或“or”。 表1-2.3 2.真值表 联结词∨的定义如表1-2.3所示。 P Q P∨Q T F 表1-2.3中给出复合命题P∨Q为F当且仅当P、Q同时为F。

例:P:灯泡坏了。 Q:开关坏了。 上述命题的析取为 P∨Q:灯泡坏了或开关坏了。

并非所有的“或”可用“∨”表示。例如,“我向东行或向西行。”该语句中的“或”称为“排斥或”,因为事实上一个人不会既向东行,又向西行。 析取“∨”指的是“可兼或”。例如,他可能是100米或400米赛跑的冠军。这里 P:他可能是100米赛跑的冠军。 Q:他可能是400米赛跑的冠军。 P∨Q:他可能是100米或400米赛跑的冠军。

还有一些汉语中的“或”字实际上不是命题联结词。例如,他昨天做了二十或三十道习题。这里的“或”字只表示了习题的近似数目,不能用联结词“∨”表达。 练习:P:雪是黑的。 Q:4是偶数。 写出P∨Q并确定其真值。

(4)条件(Condition) (二元联结词) 1.定义 定义1-2.4 给定两个命题P和Q,其条件命题是一个复合命题,记作P→Q,读作“如果P,那么Q”或“若P则Q”。当且仅当P的真值为T,Q的真值为为F时,P→Q的真值为F,否则P→Q的真值为T。我们称P为前件,Q为后件。 P Q P→Q T F 表1-2.4 2.真值表 联结词→的定义如表1-2.4所示。

例1 如果某动物为哺乳动物,则它必胎生。 例2 如果我得到这本小说,那么我今夜就读完它。 例3 如果雪是黑的,那么太阳从西方出。 上述三个例子都可用条件命题P→Q表达。 在例1中,P:某动物为哺乳动物,Q:它必胎生。P的真值为T,Q的真值为T,P→Q的真值为T。 在例2中,P:我得到这本小说,Q:我今夜就读完它。P的真值为T,Q的真值为T,P→Q的真值为T。如果P的真值为T,Q的真值为F,P→Q的真值为F。如果P的真值为F,Q的真值为T,P→Q的真值为T。 在例3中,P:雪是黑的,Q:太阳从西方出。P的真值为F,Q的真值为F,P→Q的真值为T。

在自然语言中,“如果…”与“那么…”之间常常是有因果联系的,否则就没有意义,但对条件命题P→Q来说,只要P、Q能够分别确定真值,P→Q即成为命题。此外,自然语言中对“如果…、则…”这样的语句,当前提为假时,结论不管真假,这个语句的意义,往往无法判断。而在条件命题中,规定为“善意的推定”,即前提为F时,条件命题的真值都取为T。

在数学上和有些逻辑学的书籍中,“若P则Q”亦可叫作蕴含Q,而本书在条件命题中将避免使用“蕴含”一词,因为在以后将另外定义“蕴含”这个概念。 命题联结词“→”亦可记作“ ”。

(5)双条件(Double Condition) (二元联结词) 1.定义 定义1-2.5 给定两个命题P和Q,其复合命题P Q称作双条件命题,读作“P当且仅当Q”,当P和Q的真值相同时,P Q的真值为T,否则P Q的真值为F。 表1-2.5 2.真值表 联结词“ ”的定义可如表1-2.5所示。 P Q P Q T F

例1 两个三角形全等,当且仅当它们的三组对应边相等。 例2 燕子飞回南方,春天来了。 例3 2+2=4当且仅当雪是白的。 例1 两个三角形全等,当且仅当它们的三组对应边相等。 例2 燕子飞回南方,春天来了。 例3 2+2=4当且仅当雪是白的。 上面三个例子都可用双条件命题P Q来表示。与前面的联结词一样,双条件命题也可以不顾其因果联系,而只根据联结词定义确定真值。双条件联结词亦可记作“ ”或“iff”。它亦是二元运算。有时也用符号€表示双条件。 应强调指出的是:复合命题的真值只取决于各原子命题的真值,而与它们的内容、含义无关,与原子命题之间是否有关系无关。理解和掌握这一点是至关重要的。

小结 本节给出了如下五种联结词的定义: 否定 设P为一命题,P的否定是一个新的命题,记作 ┐P。若P为T,┐P为F;若P为F,┐P为T。 合取 两个命题P和Q的合取是一个复合命题,记作P∧Q。当且仅当P、Q同时为T时,P∧Q为T,在其他情况下,P∧Q的真值都是F。 析取 两个命题P和Q的析取是一个复合命题,记作P∨Q。当且仅当P、Q同时为F时,P∨Q为F,否则P∨Q的真值为T。 条件 给定两个命题P和Q,其条件命题是一个复合命题,记作P→Q,读作“如果P,那么Q”或“若P则Q”。当且仅当P的真值为T,Q的真值为为F时,P→Q的真值为F,否则P→Q的真值为T。 双条件 给定两个命题P和Q,其复合命题P Q称作双条件命题,读作“P当且仅当Q”,当P和Q的真值相同时,P Q的真值为T,否则P Q的真值为F。

练习 8页(2)--(6) (2)举例说明原子命题和复合命题。 (3)设P表示命题“天下雪 Q表示命题“我将去镇上。 R表示命题“我有时间” 练习 8页(2)--(6) (2)举例说明原子命题和复合命题。 (3)设P表示命题“天下雪 Q表示命题“我将去镇上。 R表示命题“我有时间” 以符号形式写出下列命题。 a)如果天不下雪和我有时间,那么我将去镇上。 b)我将去镇上,仅当我有时间时。 c)天不下雪。 d)天下雪,那么我不去镇上。

(4)用汉语写出一句子,对应下列每一个命题。 a)Q (R∧┐P) b)R∧Q c)(Q→R )∧(R→Q) (5)将下列命题符号化。 8)王强身体很好,成绩也很好。 b)小李一边看书,一边听音乐。 c)气候很好或很热。 d)如果a和b是偶数,则a+b是偶数。 e)四边形ABCD是平行四边形,当且仅当它的对边平行. f)停机的原因在于语法错误或程序错误。

(6)将下列复合命题分成若干原子命题, a)天气炎热且正在下雨。 b)天气炎热但湿度较低。 c)天正在下雨或湿度很高。 d)刘英与李进上山。 e)老王或小李是革新者。 f)如果你不看电影,那么我也不看电影。 g)我既不看电视也不外出,我在睡觉。 h)控制台打字机既可作输入设备,又可作输出设备。

解答 (2)举例说明原子命题和复合命题。 原子命题:北京是中国的首都。 复合命题:李毅和王强都是优秀学生。

(3)设P表示命题“天下雪” Q表示命题“我将去镇上。 R表示命题“我有时间” 以符号形式写出下列命题。 a)如果天不下雪和我有时间,那么我将去镇上。(┐P∧R )→Q b)我将去镇上,仅当我有时间时。 R→Q c)天不下雪。 ┐P d)天下雪,那么我不去镇上。 P→┐Q

(4)用汉语写出一句子,对应下列每一个命题。 a)Q (R∧┐P) b)R∧Q 王强的数学和计算机都很好。 c)(Q→R) ∧(R→Q) 一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。

(5)将下列命题符号化。 a)王强身体很好,成绩也很好。 设P:王强身体很好。 Q:王强成绩很好。 P∧Q 设P:小李看书。 Q:小b)小李一边看书,一边听音乐。 李听音乐。 R∧Q c)气候很好或很热。 设P:气候很好。 Q:气候很热。 R∨Q d)如果a和b是偶数,则a+b是偶数。 设P:a和b是偶数。 Q:a+b是偶数。 P→Q e)四边形ABCD是平行四边形,当且仅当它的对边平行。 设P:四边形ABCD是平行四边形。 Q:四边形ABCD的对边平行。 P Q f)停机的原因在于语法错误或程序错误。 设P:语法错误。 Q:程序错误。 S:停机。(R∨Q)→S

(6)将下列复合命题分成若干原子命题, a)天气炎热且正在下雨。 P:天气炎热。Q:正在下雨。 P∧Q b)天气炎热但湿度较低。 P:天气炎热。R:湿度较低。 P∧R c)天正在下雨或湿度很高。 d)刘英与李进上山。 S:刘英上山。G:李进上山。

e)老王或小李是革新者。 W:老王是革新者。A:小李是革新者。W∨A f)如果你不看电影,那么我也不看电影。 B:你看电影。C:我看电影。 ┐B→┐C g)我既不看电视也不外出,我在睡觉。 D:我看电视。E:我外出。F:我睡觉。┐D∧┐E∧F h)控制台打字机既可作输入设备,又可作输出设备。 H:控制台打字机可作输入设备。 I:控制台打字机作输出设备。 H∧I