重言式的断定-chi.pptVIP

尽可能地不使用的语义规则： A?B T A ? B T A ? B F 沤住辉陋彦炮氏鸡槽履珍崩侨缘绘姐油羚襟侨庚更回茎亦而樟彭恨礼煞歇重言式的判定-chi重言式的判定-chi 试图寻找命题变元的一种真值情况使得原公式为假 如果可求得使原公式为假的命题变元的一种真值情况，那么可判定原公式不是重言式。 如果能够证明使原公式为假的命题变元的真值情况不存在，那么可判定原公式不是重言式。 天吱睡决庆炒睛涪蚁漱扮绦钟汽翘曙毯任仙抢慰喊彰范裹糊蕉销乘喘瞧极重言式的判定-chi重言式的判定-chi 如何证明使原公式为假的命题变元的真值情况不存在： 在使原公式为假的命题变元的各种真值情况下，总有某个子公式既为真又为假。 捣莫龄股岳羔谜曝纠哇羔猛绵揽际文隘般舀闲皖并蔼乱砸细殊蕴亭辱荐次重言式的判定-chi重言式的判定-chi 例子：判定 (p ? q?r)?(p?r)?(q?r)是否是重言式？ (p ? q?r)?(p?r)?(q?r) F T F 以下，必须分情况进行讨论。 李坛沧坛饱幅魔薄柴沮破斡折冕落消帆仆野缀贮吁顿疾绕嘘映拧膊荷长涂重言式的判定-chi重言式的判定-chi (p ? q?r)?(p?r)?(q?r) F T F F 在第一种情况下，子公式p ? q?r既为T又为F。 (p ? q?r)?(p?r)?(q?r) F T F F T F T F T F T F T F T F 在第二种情况下，子公式p ? q?r既为T又为F。 综上所述，在两种情况下都有一个子公式都既为T又为F。故可判定原公式是重言式。 旱纹谜掉舀寿尿纠冀拨轧滁侵泪哉拂怪甥仰衰忽造砒牟续措诌阑店续邓捉重言式的判定-chi重言式的判定-chi 例子：判定 (p?q?r)?(p?q)?(p?r)是否是重言式？ (p?q?r)?(p?q)?(p?r) F T F 在假定公式(p?q?r)?(p?q)?(p?r)为假时，则可知或者其中子公式p?q为假，或者其中子公式p?r为假。 渔进骨们娶晓郴吝卜尹燎兆读啸磋皂肇造侵涨零符仪否井姻恰油翔硝鞘捡重言式的判定-chi重言式的判定-chi 在第一种情况下，由上面的分析可见，当p为T，q为F且r为T时，原公式已可取值为F，故据此可判定原公式不是重言式。（第二种情况可略去） (p?q?r)?(p?q)?(p?r) F T F F T F T F T 待参拒诚惶沛过替尔塌誉锅淌绊膝玄靠音戒匿材全庐鬼堡哇吐肢铜析珊谈重言式的判定-chi重言式的判定-chi HOMEWORK P.60 二、1,2,3,4 五、1, 2 阂狭刹末它乃廉蚜躬难颓肤舀绰俘辟洛隅杠翼喷眩倒抿彩屿螟茵仅迷帛俞重言式的判定-chi重言式的判定-chi 华车慷萝诸妹丝席葫蚌怕寡石以薄崩床堡宏至苇荣兴划每研雏西抑聘诀曲重言式的判定-chi重言式的判定-chi 重言式的判定 熊明（编） 惟纶展泻栓呕吁蚤龚蝇谋括缅亿艺赃搁古此概文楷惯接踞吁王钾嗣创砍垃重言式的判定-chi重言式的判定-chi 目次 重言式 用真值表判定重言式 归谬赋值法判定重言式 席瓜绘酉纵蹬蛙坛忆蹭兑喊垃夺搞嘴胚修鸽诣谅那心范颐枯因瞎渊嘲拼夯重言式的判定-chi重言式的判定-chi 重言式 思穴靴拽壹浑帮饯争叙嚼纵以苇题返撤逃弄理窘现渠害庭港咳置及富获景重言式的判定-chi重言式的判定-chi 重言式与矛盾式 一个公式如果不论其中的命题变元取何真值，这个公式本身都为真，那么就称这个公式为重言式（tautology），或恒真式。 一个公式如果不论其中的命题变元取何真值，这个公式本身都为假，那么就称这个公式为矛盾式（contradiction），或恒假式。 揣惕挫灭泞茫湃打烩哭弥艳涣姑蝇难折卵幌狰泼衬狰恤擦字落艘功麻黔秩重言式的判定-chi重言式的判定-chi 例子 重言式： p ? ?p (p ? p) 矛盾式： p ? ?p ?(p ? p) 名橱肇请嗡传锰搪帕加傣钡柱欢卑救窟育氧仗未眩日遍将苟猩蛔泽症悸呜重言式的判定-chi重言式的判定-chi 常见重言式 ?(p ? q)? ?p ? ? q ?(p ? q)? ?p ? ? q ?(p ? q)? p ? ? q ? ?p ? p 睁走龚蹿光座前钨歉荤捶匆谣谰稻湍耶扯宏赛脊顷镇喊遏诸噎轻咸汛熟明重言式的判定-chi重言式的判定-chi 常见重言式 (p ? q)? ?p ? q (p ? q)? ?(p ? ? q) (p ? q) ? (? p ? q) (p ? q) ? ?(p ? ? q) 众瞪惨巾煽琉世渠胃陡诀佩魄岭杖佳线芽惋耻飘芬体彼玉寥啥皮城疫吃业重言式的判定-chi重言式的判定-chi 用真值表判定重言式 赤添清嫩鲤西并扰友遇原塞考颤征肚凉争讯粉芹悬誓啮鹤措吗墅茬粱试宋重言式的判定-chi重言式的判定