离散数学第2章命题逻辑.ppt

《离散数学第2章命题逻辑.ppt》由会员分享，可在线阅读，更多相关《离散数学第2章命题逻辑.ppt（105页珍藏版）》请在三一办公上搜索。

1、1,例：,2,逻辑演算解法：,设p:王教授是苏州人，q:王教授是上海人，r:王教授是杭州人(下标为1表示全对，下标为2表示对一半，下标为3表示全错)甲：A1=p q A2=(p q)(p q)A3=p q乙：B1=p q B2=(p q)(p q)B3=p q丙：C1=q r C2=(q r)(q r)C3=q r复合命题：E=(A1 B2 C3)(A1 B3 C2)(A2 B1 C3)(A2 B3C1)(A3 B1 C2)(A3 B2 C1),A1 B2 C3=(p q)(p q)(p q)(q r)0A1 B3 C2=(p q)(p q)(q r)(q r)p q rA2 B1 C3=A2

2、 B3C1=A3 B2 C1=0A3 B1 C2 p q rE(p q r)(p q r)所以王教授是上海人。,甲说：王教授不是苏州人，是上海人。乙说：王教授不是上海人，是苏州人。丙说：王教授既不是上海人，也不是杭州人。,3,#include stdio.h#include conio.hmain()int p,q,r,A1,A2,A3,B1,B2,B3,C1,C2,C3,E;for(p=0;p=1;p+)for(q=0;q=1;q+)for(r=0;r=1;r+)A1=!p,程序解法：,4,例：用演绎法证明下列推理过程：如果马会飞或羊吃草，则母鸡就会是飞鸟。如果母鸡是飞鸟，那么考熟的鸭子还会

3、跑，考熟的鸭子不会跑，所以羊不吃草。,pqr,rs,s q,设p:马会飞,q:羊吃草,r:母鸡是飞鸟,s:考熟的鸭子会跑,5,pqr,rs,s q,6,2.1 命题逻辑基本概念,2.1.1 命题与联结词命题与真值(简单命题,复合命题)联结词(,)2.1.2 命题公式及其分类命题公式及其赋值真值表命题公式的分类,7,2.1.1 命题与联结词,推理是从前提出发，推出结论的逻辑思维过程。推理1 若华盛顿是美国的首都，则多伦多是加拿大的首都。华盛顿是美国的首都，则多伦多是加拿大的首都。推理2 若今年是2004年，则明年是2005年。明年是2005年，所以今年是2004年。命题:判断结果唯一的陈述句，不

4、能可真可假。命题的真值:判断的结果,真或假真命题:真值为真的命题假命题:真值为假的命题注意:感叹句、祈使句、疑问句都不是命题陈述句中的悖论以及判断结果不惟一确定的也不是命题,8,例1 下列句子中那些是命题？(1)北京是中华人民共和国的首都.(2)2+5 8.(3)x+5 3.(4)你会开车吗？(5)2050年元旦北京是晴天.(6)这只兔子跑得真快呀！(7)请关上门！(8)我正在说谎话.,真命题,假命题,真值不确定,疑问句,感叹句,祈使句,悖论,(1),(2),(5)是命题,(3),(4),(6)(8)都不是命题,真值确定,但未知,实例,9,简单命题与复合命题,简单命题(原子命题):简单陈述句构

5、成的命题简单命题的符号化:用p,q,r,pi,qi,ri(i1)表示 用“1”表示真，用“0”表示假复合命题:由简单命题通过联结词联结而成的陈述句 例如 如果明天天气好,我们就出去郊游设p:明天天气好,q:我们出去郊游,如果p,则q 又如 张三一面喝茶一面看报设p:张三喝茶,q:张三看报,p并且q,10,联结词与复合命题,定义2.1 设p为命题,复合命题“非p”(或“p的否定”)称为p的否定式,记作p,符号称作否定联结词,并规定p为真当且仅当 p为假例如 p:2是合数,p:2不是合数,p为假,p为真定义2.2 设p,q为二命题,复合命题“p并且q”(或“p与q”)称为p与q的合取式,记作pq,

6、称作合取联结词,并规定 pq为真当且仅当 p与q同时为真例如 p:2是偶数,q:2是素数,pq:2是偶素数,p为真,q为真,pq为真注意：自然语言中的“既，又”,”不但，而且“，”虽然，但是“，一面，一面”都可以符号化为。,11,实例,例2 将下列命题符号化.(1)王晓既用功又聪明.(2)王晓不仅聪明，而且用功.(3)王晓虽然聪明，但不用功.(4)张辉与王丽都是三好生.(5)张辉与王丽是同学.解,记 p:王晓用功,q:王晓聪明,(1)pq,(2)pq,(3)q p,(4)记 r:张辉是三好生,s:王丽是三好生,rs,(5)简单命题,记 t:张辉与王丽是同学,使用联结词需注意两点：（1）自然语言

7、中的“既，又”，“不但，而且”，“虽然，但是”，“一面，一面”，等都可以符号化为。（2）不要见到“与”或“和”就使用联结词.,12,联结词与复合命题(续),定义2.3 设 p,q为命题,复合命题“p或q”称作p与q的析取式,记作pq,称作析取联结词,并规定pq为假当且仅当p与q同时为假.例如 张三和李四至少有一人会英语设 p:张三会英语,q:李四会英语,符号化为pq自然语言中的“或”有二义性：相容或与排斥或例如 这件事由张三和李四中的一人去做 设 p:张三做这件事,q:李四做这件事 应符号化为(pq)(pq),13,实例,例3 将下列命题符号化(1)2或4是素数.(2)2或3是素数.(3)4或

8、6是素数.(4)元元只能拿一个苹果或一个梨.(5)王晓红生于1975年或1976年.解,记 p:2是素数,q:3是素数,r:4是素数,s:6是素数,(1)pr,(2)pq,(3)rs,(4)记t:元元拿一个苹果,u:元元拿一个梨,真值:1,真值:1,真值:0,(tu)(tu),(5)记v:王晓红生于1975年,w:王晓红生于1976年,(vw)(vw),又可形式化为 vw,14,联结词与复合命题(续),定义2.4 设 p,q为二命题,复合命题“如果p,则q”称作p与q的蕴涵式,记作pq,并称p是蕴涵式的前件,q为蕴涵式的后件.称作蕴涵联结词,并规定,pq为假当且仅当 p为真且q为假.例：如果明

9、天天气好,我们就出去郊游 设p:明天天气好,q:我们出去郊游,形式化为 pq,15,蕴涵联结词(续),pq 的逻辑关系:q为p的必要条件,p为q的充分条件“如果p,则q”的多种表述方式：若p,就q 只要p,就q p仅当q 只有q 才p 除非q,才p 除非q,否则非p当p为假时，pq为真(不管q为真,还是为假),如果明天天气好,我们就出去郊游设p:明天天气好,q:我们出去郊游,形式化为 pq,16,实例,例4 设p:天冷,q:小王穿羽绒服，将下列命题符号化(1)只要天冷，小王就穿羽绒服.(2)因为天冷，所以小王穿羽绒服.(3)若小王不穿羽绒服，则天不冷.(4)只有天冷，小王才穿羽绒服.(5)除非

10、天冷，小王才穿羽绒服.(6)除非小王穿羽绒服，否则天不冷.(7)如果天不冷，则小王不穿羽绒服.(8)小王穿羽绒服仅当天冷的时候.,注意：pq 与 qp 等值（真值相同）,pq,pq,qp 或 pq,pq,qp,qp,pq 或 qp,qp,若p,就q只要p,就qp仅当q只有q 才p除非q,才p除非q,否则非p,17,联结词与复合命题(续),定义2.5 设p,q为命题,复合命题“p当且仅当q”称作p与q的等价式,记作pq,称作等价联结词.并规定pq为真当且仅当 p与q同时为真或同时为假.pq 的逻辑关系:p与q互为充分必要条件例如 这件事张三能做好,且只有张三能做好 设p:张三做这件事,q:这件事

11、做好了 形式化为:pq,18,实例,例5 求下列复合命题的真值(1)2+24 当且仅当 3+36.(2)2+24 当且仅当 3是偶数.(3)2+24 当且仅当 太阳从东方升起.(4)2+25 当且仅当 美国位于非洲.(5)f(x)在x0处可导的充要条件是它在 x0处连续.,1,0,1,1,0,19,联结词与复合命题(续),联结词优先级:(),同级按从左到右的顺序进行,20,命题联结词测试程序：,#include stdio.hmain()int p,q;printf(ptqtpqtpqtpqn);for(p=0;p=1;p+)for(q=0;q=1;q+)printf(%dt%dt%dt%dt

12、%dn,p,q,p|q,p,21,例：将下列复合命题符号化,(1)除非你已满16周岁，否则只要你身高不足4英尺就不能乘公园滑行铁道。p：你已满16周岁 q：你身高不足4英尺 r：你能乘公园滑行铁道(2)只有你主修计算机科学或不是新生，你才可以从校园网访问因特网。p：你主修计算机科学q：你是新生 r：你可以从校园网访问因特网(3)不管你或他努力与否，比赛定会取胜。p：你努力 q：他努力 r：比赛定会取胜(4)选修过“高等数学”或“微积分”的学生可以选修本课。p：选修过“高等数学 q：选修过“微积分 r：可以选修本课(5)学过“离散数学”或“数据结构”，但不是两者都学过的学生，必须再选学“计算机算

13、法”这门课。p：学过“离散数学 q：学过“数据结构”r：再选学“计算机算法”,22,解：,(1)除非你已满16周岁，否则只要你身高不足4英尺就不能乘公园滑行铁道。p：你已满16周岁 q：你身高不足4英尺 r：你能乘公园滑行铁道(qr)p 或pqr 或rpq(2)只有你主修计算机科学或不是新生，你才可以从校园网访问因特网。p：你主修计算机科学q：你是新生 r：你可以从校园网访问因特网 rpq 或pq r(3)不管你或他努力与否，比赛定会取胜。p：你努力 q：他努力 r：比赛定会取胜(pq)(pq)r(pq)(pq)(pq)(pq)r,23,解：,(4)选修过“高等数学”或“微积分”的学生才可以选

14、修本课。p：选修过“高等数学 q：选修过“微积分 r：可以选修本课 rpq 或pqr(若去掉才则改为pq r)(5)学过“离散数学”或“数据结构”，但不是两者都学过的学生，必须再选学“计算机算法”这门课。(相当于只要.就)p：学过“离散数学 q：学过“数据结构”r：再选学“计算机算法”(pq)(pq)r,24,命题公式及其分类,命题常项:简单命题 命题变项:取值0(真)或1(假)的变元定义2.6 合式公式(命题公式,公式)递归定义如下：(1)单个命题常项或变项是合式公式,并称作原子合式公式(2)若A是合式公式,则(A)也是合式公式(3)若A,B是合式公式,则(AB),(AB),(AB),(AB

15、)也是合式公式(4)只有有限次地应用(1)(3)形成的符号串才是合式公式说明:(1)元语言符号与对象语言符号(2)在不影响运算顺序时,括号可以省去 例如 0,p,pq,(pq)(pr),pq r,(pq)r,25,合式公式的层次,定义2.7(1)单个命题变项或命题常项是0层公式(2)称A是n+1(n0)层公式是指下面情况之一：(a)A=B,B是n层公式(b)A=BC,其中B,C分别为i层和j层公式,且 n=max(i,j)(c)A=BC,其中B,C的层次及n同(b)(d)A=BC,其中B,C的层次及n同(b)(e)A=BC,其中B,C的层次及n同(b)例如 p 0层 p 1层 pq 2层(pq

16、)r 3层(pq)r)(rs)4层,26,合式公式的层次,例如 p 0层 p 1层 pq 2层(pq)r 3层(pq)r)(rs)p 4层,27,公式的赋值,定义2.8 设p1,p2,pn是出现在公式A中全部的命题变项,给 p1,p2,pn指定一组真值,称为对A的一个赋值或解释.使公式为真的赋值称作成真赋值,使公式为假的赋值称作成假赋值说明:(1)赋值记作=12n,i=0或1,诸i之间不加标点符号(2)通常赋值与命题变项之间按下标或字母顺序对应,即当A的全部命题变项为p1,p2,pn时,给A赋值12n是指p1=1,p2=2,pn=n;当A的全部命题变项为p,q,r,时,给A赋值123是指p=1

17、,q=2,r=3,28,实例,例6 公式A=(p1 p2 p3)(p1 p2)000是成真赋值,001是成假赋值 公式B=(pq)r 000是成假赋值,001是成真赋值,29,真值表,例7 给出公式的真值表(1)(qp)qp,真值表:命题公式在所有可能的赋值下的取值的列表含n个变项的公式有2n个赋值,30,实例(续),(2)(pq)q,31,实例(续),(3)(pq)r,32,命题公式的分类,重言式(永真式):无成假赋值的命题公式矛盾式(永假式):无成真赋值的命题公式可满足式:非矛盾式的命题公式注意:重言式是可满足式，但反之不真.例如 上例中(1)(qp)qp为重言式(2)(pq)q为矛盾式(

18、3)(pq)r为非重言式的可满足式,33,2.2 命题逻辑等值演算,2.2.1 等值式与等值演算等值式与基本等值式真值表法与等值演算法2.2.2 联结词完备集真值函数联结词完备集与非联结词和或非联结词,34,2.2.1 等值式 与等值演算,定义2.11 若等价式AB是重言式,则称A与B等值,记作AB,并称AB是等值式说明:(1)是元语言符号,不要混同于和=(2)A与B等值当且仅当A与B在所有可能赋值下的真值都相同,即A与B有相同的真值表(3)n个命题变项的真值表共有 个,故每个命题公式都有无穷多个等值的命题公式(4)可能有哑元出现.在B中出现,但不在A中出现的命题变项称作A的哑元.同样,在A中

19、出现,但不在B中出现的命题变项称作B的哑元.哑元的值不影响命题公式的真值.,35,真值表法,例1 判断(pq)与 pq 是否等值解,结论:(pq)(pq),36,真值表法(续),例2 判断下述3个公式之间的等值关系:p(qr),(pq)r,(pq)r解,p(qr)与(pq)r等值,但与(pq)r不等值,37,#include stdio.h#include conio.hint yh(int p,int q)return!p|q;main()int p,q,left,right,bz=0;for(p=0;p=1;p+)for(q=0;q=1;q+)left=yh(p,yh(q,p);right

20、=yh(!p,yh(p,!q);if(left!=right)bz=1;break;if(bz=0)printf(“等价式成立”);else printf(“等价式不成立”);getch();,验证,p(q p)=p(p p),38,基本等值式,双重否定律 AA幂等律 AAA,AAA交换律 ABBA,ABBA结合律(AB)CA(BC)(AB)CA(BC)分配律 A(BC)(AB)(AC)A(BC)(AB)(AC)德摩根律(AB)AB(AB)(AB)吸收律 A(AB)A,A(AB)A,39,基本等值式(续),零律 A11,A00 同一律 A0A,A1A排中律 AA1矛盾律 AA0蕴涵等值式 AB

21、AB等价等值式 AB(AB)(BA)假言易位 ABBA等价否定等值式 ABAB归谬论(AB)(AB)A,40,等值演算,等值演算:由已知的等值式推演出新的等值式的过程置换规则:若AB,则(B)(A)例3 证明 p(qr)(pq)r证 p(qr)p(qr)（蕴涵等值式）(pq)r（结合律）(pq)r（德摩根律）(pq)r（蕴涵等值式）,41,实例,等值演算不能直接证明两个公式不等值.证明两个公式不等值的基本思想是找到一个赋值使一个成真,另一个成假.例4 证明:p(qr)(pq)r方法一 真值表法（见例2）方法二 观察法.容易看出000使左边成真,使右边成假.方法三 先用等值演算化简公式,再观察.

22、,42,实例,例5 用等值演算法判断下列公式的类型(1)q(pq)解 q(pq)q(pq)（蕴涵等值式）q(pq)（德摩根律）p(qq)（交换律，结合律）p0（矛盾律）0（零律）该式为矛盾式.,43,实例(续),(2)(pq)(qp)解(pq)(qp)(pq)(qp)（蕴涵等值式）(pq)(pq)（交换律）1该式为重言式.,44,实例(续),(3)(pq)(pq)r)解(pq)(pq)r)(p(qq)r（分配律）p1r（排中律）pr（同一律）非重言式的可满足式.如101是它的成真赋值,000是它的成假赋值.,总结:A为矛盾式当且仅当A0;A为重言式当且仅当A1说明:演算步骤不惟一,应尽量使演算

23、短些。,45,2.2.2 联结词完备集,定义2.12 称F:0,1n0,1为n元真值函数,n元真值函数共有 个每一个命题公式对应于一个真值函数每一个真值函数对应无穷多个命题公式,46,2元真值函数,47,联结词完备集,定义2.13 设S是一个联结词集合,如果任何n(n1)元真值函数都可以由仅含S中的联结词构成的公式表示,则称S是联结词完备集定理2.1 下述联结词集合都是完备集:(1)S1=,(2)S2=,(3)S3=,(4)S4=,(5)S5=,(6)S6=,AB(AB)(BA),AB AB,AB(AB)(AB),AB(AB),AB(A)B AB,48,复合联结词,与非式:pq(pq),称作与

24、非联结词或非式:pq(pq),称作或非联结词pq为真当且仅当p,q不同时为真pq为真当且仅当p,q同时为假定理2.2,是联结词完备集证 p(pp)pp pq(pq)(pq)(pq)(pq)得证是联结词完备集.对于可类似证明.,49,2.3 范式,2.3.1 析取范式与合取范式简单析取式与简单合取式析取范式与合取范式2.3.2 主析取范式与主合取范式极小项与极大项主析取范式与主合取范式主范式的用途,50,2.3.1 析取范式与合取范式,定义2.15 文字:命题变项及其否定的统称简单析取式:有限个文字构成的析取式如 p,q,pq,pq q r,简单合取式:有限个文字构成的合取式如 p,q,pq,p

25、q q r,一个文字即是简单析取式，又是简单合取式定理2.3(1)一个简单析取式是重言式当且仅当它同时含某个命题变项和它的否定。(2)一个简单合取式是矛盾式当且仅当它同时含某个命题变项和它的否定。,51,析取范式与合取范式,定义2.16 析取范式:由有限个简单合取式组成的析取式 A1A2Ar,其中A1,A2,Ar是简单合取式合取范式:由有限个简单析取式组成的合取式 A1A2Ar,其中A1,A2,Ar是简单析取式范式:析取范式与合取范式的统称定理2.4(1)一个析取范式是矛盾式当且仅当它的每一个简单合取式都是矛盾式。(2)一个合取范式是重言式当且仅当它的每一个简单析取式都是重言式。,pqr(pq

26、r)(pqr)(pqr),52,范式存在定理,定理2.5 任何命题公式都存在着与之等值的析取范式与合取范式.证 求公式A的范式的步骤：(1)消去A中的,ABAB AB(AB)(AB)(2)否定联结词的内移或消去 A A(AB)AB(AB)AB,53,范式存在定理(续),(3)使用分配律 A(BC)(AB)(AC)求合取范式 A(BC)(AB)(AC)求析取范式例1 求(pq)r 的析取范式与合取范式解(pq)r(pq)r(pq)r 析取范式(pr)(qr)合取范式注意:公式的析取范式与合取范式不唯一.,54,2.3.2 主析取范式与主合取范式,定义2.17 在含有n个命题变项的简单合取式(简单

27、析取式)中,若每个命题变项均以文字的形式出现且仅出现一次，而且第i(1in)个文字(按下标或字母顺序排列)出现在左起第i位上,称这样的简单合取式(简单析取式)为极小项(极大项)极小项:pq 极大项:pq,简单析取式:有限个文字构成的析取式如 p,q,pq,pq q r,55,说明:,(1)n个命题变项产生2n个极小项和2n个极大项(2)2n个极小项(极大项)均互不等值(3)用mi表示第i个极小项,其中i是该极小项成真赋值的十进制表示.用Mi表示第i个极大项,其中i是该极大项成假赋值的十进制表示,mi(Mi)称为极小项(极大项)的名称.,56,极小项与极大项(续),定理2.6 设mi 与Mi是由

28、同一组命题变项形成的极小项和极大项,则 mi Mi,Mi mi,p,q形成的极小项与极大项,57,主析取范式与主合取范式,主析取范式:由极小项构成的析取范式主合取范式:由极大项构成的合取范式例如，n=3,命题变项为p,q,r时，(pqr)(pqr)m1m3 是主析取范式(pqr)(pqr)M1M5 是主合取范式定理2.7 任何命题公式都存在着与之等值的主析取范式和主合取范式,并且是唯一的.,58,求主析取范式的步骤,设公式A含命题变项p1,p2,pn(1)求A的析取范式A=B1 B2 Bs,其中Bj是简单合取式 j=1,2,s(2)若某个Bj既不含pi,又不含pi,则将Bj展开成 Bj Bj(

29、pipi)(Bjpi)(Bjpi)重复这个过程,直到所有简单合取式都是长度为n的极小项为止(3)消去重复出现的极小项,即用mi代替mimi(4)将极小项按下标从小到大排列,59,求主合取范式的步骤,设公式A含命题变项p1,p2,pn(1)求A的合取范式A=B1B2 Bs,其中Bj是简单析取式 j=1,2,s(2)若某个Bj既不含pi,又不含pi,则将Bj展开成 Bj Bj(pipi)(Bjpi)(Bjpi)重复这个过程,直到所有简单析取式都是长度为n的极大项为止(3)消去重复出现的极大项,即用Mi代替MiMi(4)将极大项按下标从小到大排列,60,实例,例1(续)求(pq)r 的主析取范式与主

30、合取范式解(1)(pq)r(pq)r pq(pq)1 同一律(pq)(rr)排中律(pqr)(pqr)分配律 m4m5 r(pp)(qq)r 同一律,排中律(pqr)(pqr)(pqr)(pqr)m0 m2 m4 m6 分配律得(pq)r m0 m2 m4 m5 m6可记作(0,2,4,5,6)(1,3,7),61,实例(续),(2)(pq)r(pr)(qr)pr p0r 同一律 p(qq)r 矛盾律(pqr)(pqr)分配律 M1M3 qr(pp)qr 同一律,矛盾律(pqr)(pqr)分配律 M3M7得(pq)r M1M3M7可记作(1,3,7),62,快速求法,设公式含有n个命题变项,则

31、长度为k的简单合取式可展开成2n-k个极小项的析取例如 公式含p,q,r q(pqr)(pqr)(pqr)(pqr)m2 m3 m6 m7长度为k的简单析取式可展开成2n-k个极大项的合取例如 pr(pqr)(pqr)M1M3,63,实例,例2(1)求 A(pq)(pqr)r的主析取范式解 用快速求法(1)pq(pqr)(pqr)m2 m3 pqr m1 r(pqr)(pqr)(pqr)(pqr)m1 m3 m5 m7得 A m1 m2 m3 m5 m7(1,2,3,5,7),64,实例(续),(2)求 B p(pqr)的主合取范式解 p(pqr)(pqr)(pqr)(pqr)M4M5M6M7

32、 pqr M1得 B M1M4M5M6M7(1,4,5,6,7),65,利用真值表求解标准范式,在命题公式A的真值表中，所有成真赋值对应的最小项的析取式（按最小项下标递增排序）为公式A的唯一标准析取范式。在命题公式A的真值表中，所有成假赋值对应的最大项的合取式（按最大项下标递增排序）为公式A的唯一标准合取范式。,例：(pq)r,(pq)r(p q r)(p q r)(p q r)(p q r)(pqr)(pq r)(pq r)(pq r),66,主析取范式的用途,(1)求公式的成真赋值和成假赋值设公式A含n个命题变项,A的主析取范式有s个极小项,则A有s个成真赋值,它们是极小项下标的二进制表示

33、,其余2n-s个赋值都是成假赋值 例如(pq)r m0 m2 m4 m5 m6 成真赋值:000,010,100,101,110;成假赋值:001,011,111,67,主析取范式的用途(续),(2)判断公式的类型 设A含n个命题变项，则 A为重言式当且仅当A的主析取范式含2n个极小项A为矛盾式当且仅当 A的主析取范式不含任何极小项,记作0 A为可满足式当且仅当A的主析取范式中至少含一个极小项,68,实例,例3 用主析取范式判断公式的类型:A(pq)q(2)B p(pq)(3)C(pq)r解(1)A(pq)q(pq)q 0 矛盾式(2)B p(pq)1 m0m1m2m3 重言式(3)C(pq)

34、r(pq)r(pqr)(pqr)(pqr)(pqr)(pqr)(pqr)m0m1m3 m5m7 非重言式的可满足式,69,主析取范式的用途(续),(3)判断两个公式是否等值例4 用主析取范式判断下面2组公式是否等值:(1)p与(pq)(pq)解 p p(qq)(pq)(pq)m2m3(pq)(pq)(pq)(pq)(pq)(pq)m2m3故 p(pq)(pq),70,实例(续),(2)(pq)r 与 p(qr)解(pq)r(pqr)(pqr)(pqr)(pqr)(pqr)(pqr)m1m3m5 m6m7 p(qr)(pq)(p r)(pqr)(pqr)(pqr)(pqr)m5 m6m7故(pq

35、)r p(qr),71,实例,例5 某单位要从A,B,C三人中选派若干人出国考察,需满足下述条件:(1)若A去,则C必须去;(2)若B去,则C不能去;(3)A和B必须去一人且只能去一人.问有几种可能的选派方案?解 记p:派A去,q:派B去,r:派C去(1)pr,(2)qr,(3)(pq)(pq)求下式的成真赋值 A=(pr)(qr)(pq)(pq),72,实例(续),求A的主析取范式 A=(pr)(qr)(pq)(pq)(pr)(qr)(pq)(pq)(pq)(pr)(rq)(rr)(pq)(pq)(pq)(pq)(pr)(pq)(rq)(pq)(pq)(pq)(pr)(pq)(rq)(pq)

36、(pqr)(pqr)成真赋值:010,101,结论:方案1 派A与C去,方案2 派B去,73,例：,74,解：,设p:王教授是苏州人，q:王教授是上海人，r:王教授是杭州人(下标为1表示全对，下标为2表示对一半，下标为3表示全错)甲：A1=p q A2=(p q)(p q)A3=p q乙：B1=p q B2=(p q)(p q)B3=p q丙：C1=q r C2=(q r)(q r)C3=q r复合命题：E=(A1 B2 C3)(A1 B3 C2)(A2 B1 C3)(A2 B3C1)(A3 B1 C2)(A3 B2 C1),A1 B2 C3=(p q)(p q)(p q)(q r)0A1 B

37、3 C2=(p q)(p q)(q r)(q r)p q rA2 B1 C3=A2 B3C1=A3 B2 C1=0A3 B1 C2 p q rE(p q r)(p q r)所以王教授是上海人。,甲说：王教授不是苏州人，是上海人。乙说：王教授不是上海人，是苏州人。丙说：王教授既不是上海人，也不是杭州人。,75,#include stdio.h#include conio.hmain()int p,q,r,A1,A2,A3,B1,B2,B3,C1,C2,C3,E;for(p=0;p=1;p+)for(q=0;q=1;q+)for(r=0;r=1;r+)A1=!p,程序：,76,主合取范式,由主析取

38、范式求主合取范式设,没有出现的极小项是,其中t=2n-s,于是,77,主合取范式(续),例6 求A=(pqr)(pqr)(pqr)的主合取范式解 A m1m3m7 M0M2M4M5M6矛盾式的主合取范式含全部2n个极大项重言式的主合取范式不含任何极大项,记作1,78,2.4 命题逻辑推理理论,2.4.1 推理的形式结构推理的前提与结论,正确推理推理定律2.4.2 自然推理系统P推理规则直接证明法,附加前提证明法,归谬法(反证法),归结证明法,79,2.4.1 推理的形式结构,定义2.20 若对于每组赋值,A1A2 Ak 为假,或者当A1A2Ak为真时,B也为真,则称由前提A1,A2,Ak推B的

39、推理有效或推理正确,并称B是有效的结论定理2.8 由前提A1,A2,Ak 推出B 的推理正确当且仅当 A1A2AkB为重言式.,80,推理的形式结构,形式(1)A1A2AkB形式(2)前提:A1,A2,Ak 结论:B 推理正确记作 A1A2AkB判断推理是否正确的方法:真值表法等值演算法主析取范式法构造证明法,81,例1 判断下面推理是否正确:,若今天是1号,则明天是2号.明天是2号.所以今天是1号解 设p:今天是1号,q:明天是号.推理的形式结构为(pq)qp证明 用主析取范式法(pq)qp(pq)qp(pq)q)p qp(pq)(pq)(pq)(pq)m0m2m3 01是成假赋值,所以推理

40、不正确.,82,推理定律重言蕴涵式,A(AB)附加律(AB)A 化简律(AB)A B 假言推理(AB)B A 拒取式(AB)B A 析取三段论(AB)(BC)(AC)假言三段论(AB)(BC)(AC)等价三段论(AB)(CD)(AC)(BD)构造性二难(AB)(AB)B 构造性二难(特殊形式)(AB)(CD)(BD)(AC)破坏性二难,83,自然推理系统P,自然推理系统P由下述3部分组成:1.字母表(1)命题变项符号:p,q,r,pi,qi,ri,(2)联结词:,(3)括号与逗号:(),2.合式公式3.推理规则(1)前提引入规则(2)结论引入规则(3)置换规则,84,自然推理系统P(续),85

41、,自然推理系统P(续),86,直接证明法：A1A2AkB,例2 在自然推理系统P中构造下面推理的证明:前提:pq,qr,ps,s结论:r(pq)证明 ps 前提引入 s 前提引入 p 拒取式 pq 前提引入 q 析取三段论 qr 前提引入 r 假言推理 r(pq)合取推理正确,r(pq)是有效结论,87,实例,例3 构造推理的证明:若明天是星期一或星期三,我就有课.若有课,今天必需备课.我今天下午没备课.所以,明天不是星期一和星期三.解 设 p:明天是星期一,q:明天是星期三，r:我有课，s:我备课前提:(pq)r,rs,s结论:pq,88,实例(续),前提:(pq)r,rs,s结论:pq 证

42、明 rs 前提引入 s 前提引入 r 拒取式(pq)r 前提引入(pq)拒取式 pq 置换结论有效,即明天不是星期一和星期三,89,附加前提证明法,欲证明 等价地证明前提:A1,A2,Ak 前提:A1,A2,Ak,C结论:CB 结论:B,理由:(A1A2Ak)(CB)(A1A2Ak)(CB)(A1A2AkC)B(A1A2AkC)B,90,实例,例4 构造下面推理的证明:前提:pq,qr,rs结论:ps证明 p 附加前提引入 pq 前提引入 q 析取三段论 qr 前提引入 r 析取三段论 rs 前提引入 s 假言推理推理正确,ps是有效结论,91,归谬法(反证法),欲证明前提：A1,A2,Ak

43、结论：B将B加入前提,若推出矛盾,则得证推理正确.,理由:A1A2AkB(A1A2Ak)B(A1A2AkB)括号内部为矛盾式当且仅当(A1A2AkB)为重言式,92,实例,例5 构造下面推理的证明前提:(pq)r,rs,s,p结论:q证明 用归缪法 q 结论否定引入 rs 前提引入 s 前提引入 r 拒取式(pq)r 前提引入(pq)析取三段论 pq 置换 p 析取三段论 p 前提引入 pp 合取推理正确,q是有效结论,93,归结证明法,理由(pq)(pr)(qr)(pq)(pr)(qr)(pq)(pr)qr(pq)q)(pr)r)(pq)(pr)1,94,归结证明法(续),在自然推理系统P中

44、只需下述推理规则:(1)前提引入规则(2)结论引入规则(3)置换规则(4)化简规则(5)合取引入规则(6)归结规则,95,归结证明法的基本步骤,1.将每一个前提化成等值的合取范式,设所有合取范式的全部简单析取式为A1,A2,At2.将结论化成等值的合取范式B1B2Bs,其中每个Bj是简单析取式3.以A1,A2,At为前提,使用归结规则推出每一个Bj,1js4.由合取引入规则得到结论B1B2Bs,96,实例,例6 用归结证明法构造下面推理的证明:前提:(pq)r,rs,s结论:(pq)(ps)解(pq)r(pq)r(pq)r(pr)(qr)rs rs(pq)(ps)(pq)(ps)(pq)(ps

45、)p(qs)推理可表成前提:pr,qr,rs,s结论:p(qs),97,实例(续),前提:pr,qr,rs,s结论:p(qs)证明 qr 前提引入 rs 前提引入 qs 归结 s 前提引入 s0 置换 r0 归结 pr 前提引入 p0 归结 p 置换 p(qs)合取引入,98,例：用演绎法证明下列推理过程：如果马会飞或羊吃草，则母鸡就会是飞鸟。如果母鸡是飞鸟，那么考熟的鸭子还会跑，考熟的鸭子不会跑，所以羊不吃草。,pqr,rs,s q,设p:马会飞,q:羊吃草,r:母鸡是飞鸟,s:考熟的鸭子会跑,99,pqr,rs,s q,100,作业1,P78 2.1 2.3 2.4(7)2.5(5)2.6

46、2.12(4)2.15(1)2.17(2)2.18(2)2.20(1)(2),101,作业2,P81课堂练习：2.22(1)2.28(1)课后作业：2.22(2)2.24(2)2.26(1)2.28(2)2.29(2),2.30(1),102,作业3,P82 2.32(3)2.33(1)(2)(3)2.36(2)2.38 2.40,103,104,举例：只有你主修计算机科学或不是新生，你才可以从校园网访问因特网。,符号化：rpq 或pq r p：你主修计算机科学 q：你是新生 r：你可以从校园网访问因特网,rpq r(p q)蕴涵等值式(pq)r 结合律(pq)r 德摩根律(pq)r 蕴涵等值式 pq r 优先级,105,范式：,rpqr(p q)蕴涵等值式p q r 结合律M3=(3)m0 m1 m2 m4 m5 m6 m7(0,1,2,3,5,6,7),