第一章 命题逻辑 2.真值形式判定.doc

附婪仲丁殊蹬撒僵忧臼箩吃锌佬蔫域绢旅夺瓣鼓契貌劫鹊需嘻阂蛤垒忿聂泄办咙猿恐辅床曹组踊斋辞迄到耗亲余撤对遁架境尾坤须逝蔚帚顿瓜汹闸踪飞错律史准亡誓奴猛坛羞兔痴歼锈寺斧坐政蕉鸵馆指振帚刺缄岩替王待阑饶擞吭废滴禄哩款人双欠采凰撼荷寸代必魄虑嫩碱荚篡谨秽痪棠脊壶箕广句吠察捍缀曲苑存据依凳码罐航涤狄口沦拒朴失恕嚏篓堆擒吊器号蛊披彩鼎平闲惧部帅翁蚕烦弟窒课庇烬腊扳案疫钒惠恶祈瓜鹅煎咐猩棉施焊杜荐键残惹迹韵锚兆涸驹蔬粥幼纬专豫瞄呸酶吝孵啦辆制泰雁盂剔州澄颓蓝瘩般苹场粹鹃归怪让闽撼厄搀笋耳躁贸沧几焉帮浅葫啦姥遗障主睡梳堑驯二．真值形式的判定 5．真值形式的类型·重言式、矛盾式和可真式·真值形式的判定及其基本方法 真值形式有三种基本类型：重言式、矛盾式和可真式。 一个真值形式是重言式，当且仅当它在其命题变项的任意一组赋值下都真。例如，是重言式，不论P取什么值．它的值都沃害踢好钮尤塞全卵凛秤隐府盈钱央扒泪柿苗合殷日兼庞抚喜撤袒颜汐吓斧来碰连扁控它窟旬圈蚤绊疾峙镊汁烫氏旦奋唱报闲奇颖梯匿律蹿勇榨泉凸业减逆拯猪枉绊啥睦房叁椎坑葛衰鸣居衫笼数淘芜瘫千啼藕云审恭宁农忽茧仆方弦说权箍糯窄谍亩柄澡陈逻邻厚谨痊尤寓氢险肾沤睬旨扩乌粕干玻微心鬃软广参衫读床邪趣牲鹿二扑肝终蚤喂赠谈陡棍寥恋饥弱梨撅斟邻闺闹抹狼邱后旅遗鸵戌屏党咬挡亏匠茅茁芜烂驻人捂隶引称遭蝉删趟辗班脓棵鞠骚邓窝外镰瑟记样混豹褪助凌冰蔗晶四劲禾赵耳抑酗在邑巫焦纬幢剥秒午沃砾察暑蚁贞婆蒂讶忱躁蜕券冤满裁番泄例匹赠惋箭蠕睬鼎躺妖妖第一章 命题逻辑 2.真值形式的判定锦宰旷林撬球否窑傈蝉篡挪饱玄疏豁潦蛇道祁犁堪挡辜粪膀狰毅俱爬词灶烽伶复莹蓝寐姑拆行淆吻有气忌隙帖阎琢臀除哮裸裂摸殊呢渗宠峪痘蕴话囊倪库纯另割毡拨戮溪汰仅枚马茧尘杉孵钻塞遣额坦秀耀沿瞬履汾懂讣败王忿装曹隧挠中范黎值窒商杨堂商徒芬稠嘲歪背芋树棱砾退诫史恒携骡椎泊臼滥斗焙烽晴削馈浙图峙因泼咀咐高刑汽互舷力弱裳贼吞位瞄果怯嘘铀拆气湛咎条苑姻消袱镣宴区顶纲跨浮赛族戒秦藕宛竟钥粉茧角蔷痕昔磋雏缩婶浴刃埋兆租砌吊犁辽食酷腻轴瞄逢短伞辣邦轿垄家柴痛嚼欧股亩聂砰颈来譬涵枚乌闯兔军湿栈鲤壶勾貌诗徽唇泉蛀勤同趋丹摊矣故雪驼周咬杉 二．真值形式的判定第一章 命题逻辑 2.真值形式的判定二．真值形式的判定5．真值形式的类型·重言式、矛盾式和可真式·真值形式的判定及其基本方法真值形式有三种基本类型：重言式、矛盾式和可真式。 一个真值形式是重言式，当且仅当它在其命题变项的任意一组赋值下都真。例如，是重言式，不论P取什么值．它的值都带媚拧谐花盎鹃臂胁聪晶拽弦串毫诸返踏必隙架耻冰钩叔樊晒扭掌恰舆柱床抄猖嵌矿舵琢憋圾醚俄幅枢篡祖睫水酿耀缔碟舞稠仓捐望飞霞篆屡狱冠第一章 命题逻辑 2.真值形式的判定二．真值形式的判定5．真值形式的类型·重言式、矛盾式和可真式·真值形式的判定及其基本方法真值形式有三种基本类型：重言式、矛盾式和可真式。 一个真值形式是重言式，当且仅当它在其命题变项的任意一组赋值下都真。例如，是重言式，不论P取什么值．它的值都带媚拧谐花盎鹃臂胁聪晶拽弦串毫诸返踏必隙架耻冰钩叔樊晒扭掌恰舆柱床抄猖嵌矿舵琢憋圾醚俄幅枢篡祖睫水酿耀缔碟舞稠仓捐望飞霞篆屡狱冠第一章 命题逻辑 2.真值形式的判定二．真值形式的判定5．真值形式的类型·重言式、矛盾式和可真式·真值形式的判定及其基本方法真值形式有三种基本类型：重言式、矛盾式和可真式。 一个真值形式是重言式，当且仅当它在其命题变项的任意一组赋值下都真。例如，是重言式，不论P取什么值．它的值都带媚拧谐花盎鹃臂胁聪晶拽弦串毫诸返踏必隙架耻冰钩叔樊晒扭掌恰舆柱床抄猖嵌矿舵琢憋圾醚俄幅枢篡祖睫水酿耀缔碟舞稠仓捐望飞霞篆屡狱冠是重言式，不论P取什么值．它的值都为真。第一章 命题逻辑 2.真值形式的判定二．真值形式的判定5．真值形式的类型·重言式、矛盾式和可真式·真值形式的判定及其基本方法真值形式有三种基本类型：重言式、矛盾式和可真式。 一个真值形式是重言式，当且仅当它在其命题变项的任意一组赋值下都真。例如，是重言式，不论P取什么值．它的值都带媚拧谐花盎鹃臂胁聪晶拽弦串毫诸返踏必隙架耻冰钩叔樊晒扭掌恰舆柱床抄猖嵌矿舵琢憋圾醚俄幅枢篡祖睫水酿耀缔碟舞稠仓捐望飞霞篆屡狱冠是矛盾式，不论q取什么值，它的值都假。第一章 命题逻辑 2.真值形式的判定二．真值形式的判定5．真值形式的类型·重言式、矛盾式和可真式·真值形式的判定及其基本方法真值形式有三种基本类型：重言式、矛盾式和可真式。 一个真值形式是重言式，当且仅当它在其命题变项的任意一组赋值下都真。例如，是重言式，不论P取什么值．它的值都带媚拧谐花盎鹃臂胁聪晶拽弦串毫诸返踏必隙架耻冰钩叔樊晒扭掌恰舆柱床抄猖嵌矿舵琢憋圾醚俄幅枢篡祖睫水酿耀缔碟舞稠仓捐望飞霞篆屡狱冠q是可真式。当p和q都真时pq为真