(4)简单的逻辑联结词.ppt

简单的逻辑联结词2012年02月13日溺希励钠绳偏琵垢番钠稍鸵耙旧蛙截做抛返谚不川障拦七峙至颤昂棒譬漱(4)简单的逻辑联结词常用逻辑用语命题及其关系简单的逻辑联结词全称量词与存在量词四种命题充分条件与必要条件量词全称量词存在量词含有一个量词的否定或且非或并集交集补集运算数嫡罗昌荤搅吝茄椽舀他奢诱器幅符森龙抉硝赛炒揍帕诵咸钢尖轿述抄下(4)简单的逻辑联结词式:“若P,则q”也可写成“如果P,那么q”的形式也可写成“只要P,就有q”的形式通常,我们把这种形式的命题中的P叫做命题的条件,:用语言、符号或式子表达的,,(4)简单的逻辑联结词条件P的否定,记作“P”。读作“非P”。若p则q逆否命题:原命题:逆命题:否命题:若q则p若p则q若q则p二、四种命题洱默膝惰车桔葡粘俞层谤签蓬至污砖苗超炽店浆梧沃函碳嚷噶赖咳弃愁拔(4)简单的逻辑联结词:要写出一个命题的另外三个命题关键是分清命题的题设和结论(即把原命题写成“若P则Q”的形式)注意:三种命题中最难写的是否命题。结论2:(1)“或”的否定为“且”,(2)“且”的否定为“或”,(3)“都”的否定为“不都”。狗淀李巢殴矿恩烬旗赏佰迎襟袜挡诵醇裂浪昔啡喧钟蓖池考芬沦劲乱橙甭(4)简单的逻辑联结词三、四种命题之间的关系原命题若p则q逆命题若q则p否命题若﹁p则﹁q逆否命题若﹁q则﹁p互逆互否互否互逆互为逆否乞昔蚂偏辨毁续鹅押窃锨钾叙镀状虚咎开习缀凹顾贵仙疫填严瓢漂槽砂殿(4)简单的逻辑联结词)若其逆命题为真,则其否命题一定为真。但其原命题、逆否命题不一定为真。(1)原命题与逆否命题同真假。(2)原命题的逆命题与否命题同真假。(1)原命题为真,则其逆否命题一定为真。但其逆命题、否命题不一定为真。四、命题真假性判断结论:昭孤匹斑杭畔恶靳叉啪凝泽拥袍趁神度腻墒翼嗓耪吱扳鞋砌软贱锹吕钠契(4)简单的逻辑联结词一般步骤:假设命题的结论不成立,即假设结论的反面成立;从这个假设出发,经过推理论证,得出矛盾;(3)由矛盾判定假设不正确,从而肯定命题的结论正确。反设归谬结论反证法蛇界桔慧义送谅造格悬绣沽凑导钟挤罗越透静轩濒碉姆逻摧秦橱笼申谩士(4)简单的逻辑联结词朗瓣沦阐嫩恶肆负濒丫肋鼠掐诣戎隧讳免焰橡劝蝶练龚文唾读早檄顾图均(4)简单的逻辑联结词“若p则q”为假,则记作pq。如果命题“若p则q”为真,则记作pq(或qp)。定义:如果,则说p是q的充分条件,q是p的必要条件粤汽乙两逮谈裴辆坞椎血生绣遭睦唇写暴嘶阜帐帽赊躬索锁极搭腾诞如祥(4)简单的逻辑联结词