离散数学第1章课件PPT-高等教育出版社-屈婉玲-耿素云-张立昂主编

12主要内容命题逻辑基本概念命题逻辑等值演算命题逻辑推理理论一阶逻辑基本概念一阶逻辑等值演算与推理第一部分数理逻辑3第一章命题逻辑的基本概念主要内容命题与联结词命题及其分类联结词与复合命题命题公式及其赋值4命题与真值命题：判断结果惟一的陈述句命题的真值：判断的结果真值的取值：真与假真命题与假命题注意：感叹句、祈使句、疑问句都不是命题陈述句中的悖论，判断结果不惟一确定的不是命题1.1命题与联结词5例1下列句子中那些是命题？(1)是有理数.(2)2+5=7.(3)x+53.(4)你去教室吗？(5)这个苹果真大呀！(6)请不要讲话！(7)2050年元旦下大雪.2假命题命题概念真命题不是命题不是命题不是命题不是命题命题，但真值现在不知道6命题分类：简单命题（也称原子命题）与复合命题简单命题符号化用小写英文字母p,q,r,…,pi,qi,ri(i1)表示简单命题用“1”表示真，用“0”表示假例如，令p：√2是有理数，则p的真值为0，q：2+5=7，则q的真值为12命题分类7否定、合取、析取联结词定义1.3设p,q为两个命题，复合命题“p或q”称作p与q的析取式，记作p∨q，∨称作析取联结词.规定p∨q为假当且仅当p与q同时为假.定义1.1设p为命题，复合命题“非p”(或“p的否定”)称为p的否定式，记作p，符号称作否定联结词.规定p为真当且仅当p为假.定义1.2设p,q为两个命题，复合命题“p并且q”(或“p与q”)称为p与q的合取式，记作p∧q，∧称作合取联结词.规定p∧q为真当且仅当p与q同时为真.8例2将下列命题符号化.(1)吴颖既用功又聪明.(2)吴颖不仅用功而且聪明.(3)吴颖虽然聪明，但不用功.(4)张辉与王丽都是三好生.(5)张辉与王丽是同学.合取联结词的实例9解令p:吴颖用功,q:吴颖聪明(1)pq(2)pq(3)pq(4)设p:张辉是三好生,q:王丽是三好生pq(5)p:张辉与王丽是同学(1)—(3)说明描述合取式的灵活性与多样性(4)—(5)要求分清“与”所联结的成分合取联结词的实例10例3将下列命题符号化(1)2或4是素数.(2)2或3是素数.(3)4或6是素数.(4)小元元只能拿一个苹果或一个梨.(5)王小红生于1975年或1976年.析取联结词的实例11解(1)令p:2是素数,q:4是素数,pq(2)令p:2是素数,q:3是素数,pq(3)令p:4是素数,q:6是素数,pq(4)令p:小元元拿一个苹果,q:小元元拿一个梨(pq)(pq)(5)p:王小红生于1975年,q:王小红生于1976年,(pq)(pq)或pq(1)—(3)为相容或(4)—(5)为排斥或,符号化时(5)可有两种形式，而(4)则不能析取联结词的实例12定义1.4设p,q为两个命题，复合命题“如果p,则q”称作p与q的蕴涵式，记作pq，并称p是蕴涵式的前件，q为蕴涵式的后件，称作蕴涵联结词.规定：pq为假当且仅当p为真q为假.蕴涵联结词(1)pq的逻辑关系：q为p的必要条件(2)“如果p,则q”有很多不同的表述方法：若p，就q只要p，就qp仅当q只有q才p除非q,才p或除非q，否则非p，…．(3)当p为假时，pq恒为真，称为空证明(4)常出现的错误：不分充分与必要条件13例4设p：天冷，q：小王穿羽绒服，将下列命题符号化(1)只要天冷，小王就穿羽绒服.(2)因为天冷，所以小王穿羽绒服.(3)若小王不穿羽绒服，则天不冷.(4)只有天冷，小王才穿羽绒服.(5)除非天冷，小王才穿羽绒服.(6)除非小王穿羽绒服，否则天不冷.(7)如果天不冷，则小王不穿羽绒服.(8)小王穿羽绒服仅当天冷的时候.蕴涵联结词的实例pq注意：pq与qp等值（真值相同）pqpqqpqppqqpqp14定义1.5设p,q为两个命题，复合命题“p当且仅当q”称作p与q的等价式，记作pq，称作等价联结词.规定pq为真当且仅当p与q同时为真或同时为假.pq的逻辑关系：p与q互为充分必要条件等价联结词例5求下列复合命题的真值(1)2+2＝4当且仅当3+3＝6.(2)2+2＝4当且仅当3是偶数.(3)2+2＝4当且仅当太阳从东方升起.(4)2+2＝4当且仅当美国位于非洲.(5)函数f(x)在x0可导的充要条件是它在x0连续.1001015本小节中p,q,r,…均表示命题.联结词集为{,,,,}，p,pq,pq,pq,pq为基本复合命题.其中要特别注意理解pq的涵义.反复使用{,,,,}中的联结词组成更为复杂的复合命题.设p:是无理数，q:3是奇数，r:苹果是方的，s:太阳绕地球转则复合命题(pq)((rs)p)是假命题.2小结联结词的运算顺序：,,,,,同级按先出现者先运算.161.2命题公式及其赋值命题变项与合式公式命题变项合式公式合式公式的层次公式的赋值公式赋值公式类型真值表17命题变项与合式公式命题常项命题变项（命题变元）常项与变项均用p,q,r,…,pi,qi,ri,…,等表示.定义1.6合式公式（简称公式）的递归定义：(1)单个命题变项和命题常项是合式公式,称作原子命题公式(2)若A是合式公式，则(A)也是(3)若A,B是合式公式，则(AB),(AB),(AB),(AB)也是(4)只有有限次地应用(1)—(3)形成的符号串是合式公式几点说明：归纳或递归定义,元语言与对象语言,外层括号可以省去18合式公式的层次定义1.7(1)若公式A是单个命题变项，则称A为0层公式.(2)称A是n+1(n≥0)层公式是指下面情况之一：(a)A=B,B是n层公式；(b)A=BC,其中B,C分别为i层和j层公式，且n=max(i,j)；(c)A=BC,其中B,C的层次及n同(b)；(d)A=BC,其中B,C的层次及n同(b)；(e)A=BC,其中B,C的层次及n同(b).(3)若公式A的层次为k,则称A为k层公式.例如公式A=p,B=p,C=pq,D=(pq)r,E=((pq)r)(rs)分别为0层，1层，2层，3层，4层公式.19定义1.8设p1,p2,…,pn是出现在公式A中的全部命题变项,给p1,p2,…,pn各指定一个真值,称为对A的一个赋值或解释.若使A为1,则称这组值为A的成真赋值;若使A为0,则称这组值为A的成假赋值.几点说明：A中仅出现p1,p2,…,pn，给A赋值=12…n是指p1=1,p2=2,…,pn=n,i=0或1,i之间不加标点符号A中仅出现p,q,r,…,给A赋值123…是指p=1,q=2,r=3…含n个命题变项的公式有2n个赋值.如000,010,101,110是(pq)r的成真赋值001,011,100,111是成假赋值.公式赋值20定义1.9将命题公式A在所有赋值下取值的情况列成表,称作A的真值表.构造真值表的步骤:(1)找出公式中所含的全部命题变项p1,p2,…,pn(若无下角标则按字母顺序排列),列出2n个全部赋值,从000开始,按二进制加法,每次加1,直至111为止.(2)按从低到高的顺序写出公式的各个层次.(3)对每个赋值依次计算各层次的真值,直到最后计算出公式的真值为止.真值表21例6写出下列公式的真值表,并求它们的成真赋值和成假赋值:(1)(pq)r(2)(qp)qp(3)(pq)q真值表22(1)A=(pq)r成真赋值:000,001,010,100,110;成假赋值:011,101,111pqrpqr(pq)r000001010011100101110111001111111010101011101010真值表123(2)B＝(qp)qp成真赋值:00,01,10,11;无成假赋值pqqp(qp)q(qp)qp00011011101100011111真值表224(3)C＝(pq)q的真值表成假赋值:00,01,10,11;无成真赋值pqppq(pq)(pq)q000110111100110100100000真值表325公式的类型定义1.10(1)若A在它的任何赋值下均为真,则称A为重言式或永真式;(2)若A在它的任何赋值下均为假,则称A为矛盾式或永假式;(3)若A不是矛盾式,则称A是可满足式.由例1可知,(pq)r,(qp)qp,(pq)q分别为非重言式的可满足式,重言式,矛盾式.注意：重言式是可满足式，但反之不真.真值表的用途:求出公式的全部成真赋值与成假赋值,判断公式的类型26第一章习题课主要内容命题、真值、简单命题与复合命题、命题符号化联结词,,,,及复合命题符号化命题公式及层次公式的类型真值表及应用基本要求深刻理解各联结词的逻辑关系,熟练地将命题符号化会求复合命题的真值深刻理解合式公式及重言式、矛盾式、可满足式等概念熟练地求公式的真值表，并用它求公式的成真赋值与成假赋值及判断公式类型271.将下列命题符号化(1)豆沙包是由面粉和红小豆做成的.(2)苹果树和梨树都是落叶乔木.(3)王小红或李大明是物理组成员.(4)王小红或李大明中的一人是物理组成员.(5)由于交通阻塞，他迟到了.(6)如果交通不阻塞，他就不会迟到.(7)他没迟到，所以交通没阻塞.(8)除非交通阻塞，否则他不会迟到.(9)他迟到当且仅当交通阻塞.练习128提示：分清复合命题与简单命题分清相容或与排斥或分清必要与充分条件及充分必要条件答案:(1)是简单命题(2)是合取式(3)是析取式（相容或）(4)是析取式（排斥或）设p:交通阻塞，q:他迟到(5)pq,(6)pq或qp(7)qp或pq,(8)qp或pq(9)pq或pq可见(5)与(7)，(6)与(8)相同（等值）练习1解答292.设p:2是素数q:北京比天津人口多r:美国的首都是旧金山求下面命题的真值(1)(pq)r(2)(qr)(pr)(3)(qr)(pr)(4)(qp)((pr)(rq))0练习2100303.用真值表判断下面公式的类型(1)pr(qp)(2)((pq)(qp))r(3)(pq)(pr)练习331练习3解答(1)pr(qp)矛盾式pqrqp(qp)pr(qp)00000101001110010111011111001111001100000000000032练习3解答(2)((pq)(qp))r永真式111111111111001111110011000001010011100101110111((pq)(qp))rqppqpqr33练习3解答(3)(pq)(pr)非永真式的可满足式pqrpqpr(pq)(pr)000001010011100101110111111100111111010111111001