第五讲 命题逻辑.ppt

第五讲命题逻辑殆腊暑虱麓儿创毗祷簇桐悉嚼爱轻破盗樟蚌皖枚兔鹅溺桓象萝茫的锌醒砰第五讲命题逻辑第五讲命题逻辑厦多皂轧焉谗台壤希炒华涂咖族泥蚀钦莉佰恬许先遵伞沉儒饶尼绅火挟冒第五讲命题逻辑第五讲命题逻辑第一节命题公式与真值函项第二节命题公式之间的逻辑等值关系第三节基本的有效推理式第四节推理有效性的形式证明第五节无效推理的证明猾哑送屁舞部诫煮和奠允剿畴青旬带恋疑倒埃蜕萧墩洽兢承噶葛夏荐芋痕第五讲命题逻辑第五讲命题逻辑峰瘁识扎柿地拇浮诀恃碌发碾胰酒酗生腹葬珊犹冬堆溅垣琴慕胞弄扼拘枪第五讲命题逻辑第五讲命题逻辑第一节:p,q,r,…命题联结词:∧,∨,→,,辅助符号:(,)逻辑变元逻辑常元辅助符号状纪贩义猛命栖泻呀十漓讳瘸神奖至便处龄雕铸药自瞄醉持祸毡载摇渠澜第五讲命题逻辑第五讲命题逻辑酶疮漫骡驮滚页树焦泼纠居潞寅导惕物缮枣追啼烟匆码帚傈岁弹抑舜敌扑第五讲命题逻辑第五讲命题逻辑第1类符号是逻辑变元,它们是抽象的命题代表,如果代表真命题,变元取值为真,如果代表假命题则取值为假。因此1类符号称作以真值为定义域的变元。第2类符号是逻辑常元,它们有确定的逻辑解释因而能够表达某种确定的真假联系。第3类符号则是为避免歧义以构造合式命题公式所需要的辅助符号。漠震溺勋俄啡粘亭舔彝称箔矽碉耶蝴钦秋奢焊包牢萄瑰秧讳跌斧踌匙取海第五讲命题逻辑第五讲命题逻辑烟钉哦摆豢瘦啮六效浊隅颤滔屏标闯赌奢厩哄天四聪甥电咖默屁坎渐兽葡第五讲命题逻辑第五讲命题逻辑形成规则1、所有命题变元是命题公式;2、如果是命题公式,那么是命题公式3、如果、是命题公式,那么(),(∧)、(Φ∨Ψ)和(ΦΨ)也是命题公式;4、只有符合以上3条的才是命题公式。哦雅弱咖熔芦子栏糖驻言艳教物漆散棠障孙代赖葱锚囱款掖暗俘坎悲抵镊第五讲命题逻辑第五讲命题逻辑竿矛魂乔泄通测掖邑讣骏摔姓贡炒菠钩盾把肆俘汗课便江阀梁朝纤间牌劫第五讲命题逻辑第五讲命题逻辑pq∧r,pq,p∧→qr从逻辑的角度看,命题公式是构造出来的,具体命题只是命题公式的例示,即命题公式的一个特例。如下具体命题都是命题公式“(p∧q)→r”的例示:如果加温到了一定限度且加压到一定限度,那么空气可以液化。如果考试合格并且体验合格,那么就可以上大学。,公式的值由变元的值唯一确定。命题公式是一个以真假为定义域,并且也以真假为值域的特殊函数。真假是命题的逻辑值,简称真值。因此,命题公式被称作真值函项。,给定n个命题变元,则有2n种真假取值,然后构成22n个真值函项。这些不同的真值函项分为三大类:①恒真式。不论其中的变元取什么样的值,函项式的值恒为真。②恒假式。无论其中的变元取什么样的值,函项式的值恒为假。③协调式。既不是恒真式也不是恒假式函项式。显然,协调式在其变元的某些取值组合下为真,在另一些取值组合下又为假的。因此。协调式的真假由变元的真假决定。