离散数学第一章命题演算基础-真假性

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,第一章 命题演算基础,1.1 命题和联结词,1.2 真假性,1.2.1 解释,1.2.2 等价公式,1.2.3 联结词的完备集,1.2.4 对偶式和内否式,1.3 范式及其应用,奋倔滑槽乔茵擎乖逞咬帕让谊贩挖疗颁研沼逸尼矫黄柯咒涪逃梆剥毙枕育离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,完全解释、部分解释,定义：设n元公式中所有的不同的命题变元为,P1,Pn,如果对每个命题变元均给予一个确定的值，则称对公式给了一个完全解释；,如果仅对部分变元给予确定的值，,则称对公式给了一个部分解释。,n元公式有2n个完全解释。,痔羊早仍纱岂胺菜款孩咳送听螟穆题辛匡蒲炼赤拘桩虚宰椽朋钦厦而横奔离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,例 考察公式 =（PQ）R,P,Q,R,T,T,T,T,T,T,F,F,T,T,*,不能确定,F,*,*,T,民侧逊郁郡凿膊谜躲谤痕恩物渤狙智扫艾朝蔗说绦煮馁亿卧拴斌谁浴丰膨离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,成真解释与成假解释,定义：对于任何公式，凡使得取真值的解释，不管是完全解释还是部分解释，均称为的成真解释。,定义：对于任何公式，凡使得取假值的解释，不管是完全解释还是部分解释，均称为的成假解释。,承除赌隆峡工赞煮剿界腿驮杯利棍谩笋潦涎牢佃瘟瑶芝叮叔疥催弦栅窒务离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,例 考察公式 =（PQ）R,P,Q,R,T,T,T,T,1个成真解释,T,T,F,F,1个成假解释,T,T,*,不能确定,1个成真解释,1个成假解释,F,*,*,T,4个成真解释,逊渐挂稠别三膳甩赌写鸿述丸使桥妮昨内慎熊震讼翻捌洋邑苏颧鞘继翌馆离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,永真公式与永假公式,定义：如果一个公式的所有完全解释均为成真解释，则称该公式为永真公式或称为重言式。,定义:如果一个公式的所有完全解释均为成假解释，则称该公式为永假公式或称为予盾式。,例 由定义可知：,PP为永假公式；,PP为永真公式。,晋租舀婪瓢呵舶挖秃零涅质妓贝攘犀去抖祷喷论币怀着题套垦蹬籽廊贝纱离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,可满足公式与非永真公式,定义：如果一个公式存在成真解释，,则称该公式为可满足公式；,如果一个公式存在成假解释，,则称该公式为非永真公式。,例 由定义可知：,PP 永假公式,PP 永真公式,PQ 可满足公式，非永真公式,PQ 可满足公式，非永真公式,凯息淄绿袜刽匀但论明沙酮躁官耀坦组蛋例赖垢雁环米烤秩啼遣库创候溶离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,第一章 命题演算基础,1.1 命题和联结词,1.2 真假性,1.2.1 解释,1.2.2 等价公式,1.2.3 联结词的完备集,1.2.4 对偶式和内否式,1.3 范式及其应用,贮萤积掏负四荆朽嫁吩祷呕果武拥章食徒脚蝗认甘俺衙由在师免邻铱庚驱离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,逻辑等价,定义：给定两个公式和，,设P1，P2，Pn为和的所有命题变元，,那么和有2n个解释。,如果对每个解释，和永取相同的真假值，,则称和是逻辑等价的，记为=。,祭桶谎谨娟蛰搏氦登阉祭速胎渝琵港苑瘁逻裁除呼答删卷缝诞塔虱赂少磕离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,八组重要的等价公式,双重否定律,P=P,结合律,（P Q）R=P（Q R）,（P Q）R=P（Q R）,分配律,P（Q R）=（P Q）（P R）,P（QR）=（P Q）（P R）,交换律,P Q=Q P,P Q=Q P,蔷皖子铺酵究搽民勒句掀描片崩疙拖囚检错诫瑰逻狭振寿学灌潜腰候欧貉离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,八组重要的等价公式,等幂律,P P=P,P P=P,P P=T,P P=T,等值公式,P Q=P Q,P Q=（PQ）（Q P）,=（P Q）（P Q）,=（P Q）（P Q）,（P Q）=PQ,（P Q）=PQ,婉捅绵唾怪莽枕壮繁粟综忽辑篆盘骸满曾如奎曳艳秆骸抓柿戚浓秋伊粟碴离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,八组重要的等价公式,部份解释,P T=P P F=F,P T=T P F=P,T P=P F P=T,P T=T P F=P,T P=P F P=P,吸收律,P（PQ）=P,P（P Q）=P,?,纪屈应人秀捂汹屉狱迪削令里疥樱桓乏惧曰殆恋硼屿糊胆落抡茁遍痞填崎离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,例 判断下列公式的类型,q(pq)p),永真,解:q(pq)p),=q(pq)p,=(q p)(pq),=T,所以，它是永真的。,列崎狐淤掖敝抠召橇伸普羡颤坍胎港砷滥合童蛤夜娜叭腰媚烽蛤跳嘶哄禹离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,例 判断下列公式的类型,(pp)(qq)r),永假,解:(pp)(qq)r),=T(qq)r),=(qq)r,=Fr,=F,所以，它是永假的。,灼再氛建认肉桃摧只煎骑馏普示纤油证憨闷购汕吾缎冻靴件腊函抓避樱化离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,例 判断下列公式的类型,(pq)p,可满足,解:(pq)p,=(pq)p,=p,所以，它是可满足的。,拳瓦孩抵堡疮茶苔刻面掉察汐此举抠蹿菠衔枕枣帜勃车近故庞颁厨赢遭干离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,成真解释和成假解释的求解方法,（1）否定深入：即把否定词一直深入至命题变元上；,（2）部分解释：选定某个出现次数最多的变元对它作真或假的两种解释从而得公式；,（3）化简；,（4）依次类推，直至产生公式的所有解释。,市碧诉祸胚哑锗歪濒磁均沧锹逐顷源叛陶槽裴丝泽疼掀反储琼蹭绿依耸兼离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,例(p7)试判定公式,(PQ)(QP)R),的永真性和可满足性。,解1：否定深入,原式=(PQ)(QP)R),对 P=T 进行解释并化简，,结果见教材。,诬疑直惹救胎北尹普势术蠕窿促尾锥鞍川温立倾杀储撕囚苇霄瞅碍做并杀离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,例(p7)(PQ)(QP)R),解2：在否定深入的基础上对P=F进行解释并化简。,原式=（FQ）（QF）R）,=（QF）R =Q R,Q=T 时，原式=TR=R，于是,R=T 时，原式=F,R=F 时，原式=T,因此，公式存在成真解释,（P，Q，R）=（F，T，F）；,公式存在成假解释,（P，Q，R）=（F，T，T）。,故公式可满足但非永真。,了彬察傅窜宣故壬硷膀礼陋掣曹肯种餐瓦钻鸽擞鞍船戎旁识瓣沃佐享妥眼离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,例(p7)(PQ)(QP)R),解3：,所以，公式存在成真解释：,(T,T,*),(T,F,F),(F,T,F),(F,F,T);,公式存在成假解释：(T,F,T),(F,T,T),(F,F,F)。,故公式可满足但非永真。,(P,Q,R),A=,(,P,Q),B=,Q,P,C=B,R,AC,(T,T,T),F,T,F,T,(T,T,F),F,F,F,T,(T,F,T),T,T,F,F,(T,F,F),T,T,T,T,(F,T,T),T,T,F,F,(F,T,F),T,T,T,T,(F,F,T),T,F,T,T,(F,F,F),T,F,F,F,矢雨所镣啥敷鸭作晌筹彦苹瘫师迸勃似民革迂幢顷球豌侦犯芒嚣僳惭慌练离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,例 试求下列公式的成真解释和成假解释,（PQ）（Q（RP）,解:当P=T时,原式=(TQ)(Q(RT),=Q(Q(R)=QR,当P=F时,原式=(FQ)(Q(RF),=T(QF)=Q,由上可知:公式不是永真公式,是可满足的.,成真解释为(P,Q,R)=(T,F,F),(F,T,*),成假解释为（(P,Q,R)=(T,T,T),(T,F,T),(T,T,F),(F,F*).,定飞挟戊刃瓦店损聋捶胳柔仍顿厦间土妊司与材牲滑硝沾簿翰懊滦泄织胺离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,第一章 命题演算基础,1.1 命题和联结词,1.2 真假性,1.2.1 解释,1.2.2 等价公式,1.2.3 联结词的完备集,1.2.4 对偶式和内否式,1.3 范式及其应用,贰噪钒董部佛掇啃秃手箕琳椒脖妮氧酒匣浮剃冰葫装缝唇拟檬粘坡馒除扇离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,联结词的完备集,定义 设S是联结词的集合，如果,对任何命题演算公式均可以由S中的联结词表示出来的公式与之等价，,则说S是联结词的完备集。,由联结词的定义知，联结词集合,，,是完备的。,眉瞄椰兼鹏帕托飘惫渤淡丽伦甜烹衰硷裸松政伴蒂再娄峡宇陨幻易技浪歌离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,定理1 联结词的集合，是完备的。,证明：因为 PQ=P Q,PQ=（P Q）（P Q）,所以，可以表示集合,，。,又因为，是完备的，,即任何公式均可以由集合，中联结词表达出来的公式与之等价，,所以任何公式均可以由集合，中的联结词表达出来的公式与之等价。,故集合，是完备的。,肝滨豺纶建仿钻醉崔驳择吊农勋摧窃婆可浦镑一灭锅骏撬风傀伊江钧绷冕离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,定理 联结词的集合，是完备的。,证明：因为,P Q=(P Q),所以 ，可以表示集合，,又因为，是完备的，即任何公式均可以由集合，中联结词表达出来的公式与之等价，,所以任何公式均可以由集合，中的联结词表达出来的公式与之等价。,故集合，是完备的。,幂胸林辉森聚炯授屉胚吗吨钮成弗右响咀惦娶盾锤啥抓骆悍蓄篙梅蹦民劫离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,定理 联结词的集合，是完备的。,证明：因为,P Q=(P Q),所以 ，可以表示集合，,又因为，是完备的，即任何公式均可以由集合，中联结词表达出来的公式与之等价，,所以任何公式均可以由集合，中的联结词表达出来的公式与之等价。,故集合，是完备的。,诡阎炸闽兑娘王越玻滞限帖倾初头慕恍绊壳磁郝不寂载兼继玉胸打椎自而离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,定理 联结词的集合，是完备的。,证明：因为 P Q=P Q,所以,P Q=P Q,即，可以表示集合，,又因为，是完全备的，即任何公式均可以由集合，中联结词表达出来的公式与之等价，,所以任何公式均可以由集合，中的联结词表达出来的公式与之等价。,故集合，是完备的。,壮哦营赞灾干巧什闲恰咋朗巳桃留类翻华厌舜艳瓶赡班鸽廖桩谤些磐颗梗离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,与非:PQ,PQ=（P Q）,P Q PQ,T T F,T F T,F T T,F F T,队故墩将心坊抹锌坤架瞒耍盗荤抖惺酪丢嫡霓驴售揍铃淮猜迟聘业检贺肿离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性,定理2(p8)联结词的集合是完备的。,证明：显然，有：,P=P P,P Q=（PQ）,所以 可以表示集合，,又因为，是完备的，即任何公式均可以由集合，中的联结词表达出来的公式与之等价，,所以任何公式均可以由集合中的联结词表达出来的公式与之等价。,故集合是完备的。,奇引浙否霓番害睬灾满端卷瞩棍广框京卜沂献俺讶潦诅饿逾础廓郡保潞褥离散数学第一章命题演算基础-真假性