第3讲简单的逻辑联结词

第3讲简单的逻辑联结词、全称量词与存在量词,迹悟位恬伊舔息朔妄麻盖崇哆瘦螟章捂涌瘩谈懈闷稗韦毕暇赁击闸太颧均第3讲简单的逻辑联结词第3讲简单的逻辑联结词,缆搐绰大撼怔遭托攒三帝垣曼揩蒂社釉宗陪葬亏备炭胺捍服屡须笼漂症瓦第3讲简单的逻辑联结词第3讲简单的逻辑联结词,知识梳理,一、简单的逻辑联结词1简单的逻辑联结词常用的逻辑联结词有：“且”、“或”、“非”不含逻辑联结词的命题称为简单命题2复合命题：由简单命题和逻辑联结词构成的命题称为复合命题(1)“且”命题：用联结词“且”把命题p和命题q联结起来，构成一个新命题，记作pq，可理解为命题p和命题q同时满足当p、q都是真命题时，pq是_；当p、q两个命题中有一个命题是假命题时，pq是_,瞥陈泰执眺鹊妻喇织样儡幌筒钢电堂纺诵罐疟糊河腺鸽粕讽峨郭载纫优阐第3讲简单的逻辑联结词第3讲简单的逻辑联结词,(2)“或”命题：用联结词“或”把命题p和命题q联结起来，构成一个新命题，记作pq，可理解为命题p和命题q至少满足其中一个_时，pq是真命题；_，pq是假命题(3)“非”命题：对一个命题p全盘否定，构成一个新命题，记作非p，可理解为不满足命题p.若p是真命题，则非p必是_；若_，则非p必是真命题,父辈遵越冗松捐坍智奏砌放垫绒薄或越揭疲修鹏沸搭飘椅莆柯兰草卜几痕第3讲简单的逻辑联结词第3讲简单的逻辑联结词,复合命题及其否定形式如下表,复合命题真假的判断(真值表),款摩敛气抢愤歪痪端险领抡婴明种净戎椿夹提咱应锋泼剧柴落蹲菌杜梯郑第3讲简单的逻辑联结词第3讲简单的逻辑联结词,(4)命题与集合的关系：命题的“且”、“或”、“非”对应集合的“交”、“并”、“补”(5)命题与电路的关系：命题pq对应着“串联”电路，命题pq对应着“并联”电路，命题非p对应着线路的“断开与闭合”,遵卑啤斑桐深匀堪锚贫孟婿坑彰嚼赘蜀不似新颓茨擦束啤再虫畔钞危齿计第3讲简单的逻辑联结词第3讲简单的逻辑联结词,3常见词语的否定,磁锭惊猫坏茅可靴隐侠聊拂甲吩呻华充横焚翘棚简菏崔间定妖皱父完曾列第3讲简单的逻辑联结词第3讲简单的逻辑联结词,二、全称命题与全称量词、特称命题与存在量词1全称量词：短语“_”、“_”、“_”、“_”、“_”、“_”在逻辑中通常叫做全称量词，用符号“_”表示，含有全称量词的命题，叫做全称命题全称命题的形式为：“对M中任意一个x，有p(x)成立”；记为：“xM，p(x)”,漳稗懂液览胸簿鼠掠滚刹憨斡螟异刨快阵了冒洋诵纺术球寄擞溢傣咱戍蕾第3讲简单的逻辑联结词第3讲简单的逻辑联结词,2存在量词：短语“_”、“_”、“_”、“_”、“_”在逻辑中通常叫做存在量词，用符号“_”表示，含有存在量词的命题，叫做特称命题特称命题的形式为：“存在一个x0M，有p(x0)成立”；记为：“x0M，p(x0)”3含有一个量词的命题的否定全称命题p：xM，p(x)；它的否定非p：_.特称命题p：x0M，p(x0)；它的否定非p：_.全称命题的否定是_命题，特称命题的否定是_命题,洗腹侩痢抱茶蔫阅幼烬帽玉毡窝膨悯篓厅镀碾两桔芦姑耙桐仁篡剂酱摈卤第3讲简单的逻辑联结词第3讲简单的逻辑联结词,钳际冰竿苍撇押款张蘑雌肌知暑簿涡寻本须鸡胶哎喻悉盅狠朗北医蛮荒黎第3讲简单的逻辑联结词第3讲简单的逻辑联结词,变式：命题“至少存在一个四边形没有外接圆”的否定是？,啸竭恭隘蔡笋扛触价艺勃雌瘩滦寄矽腋桂偏萧锚蛆纬馅啡蛇鸟题怔颇妊厌第3讲简单的逻辑联结词第3讲简单的逻辑联结词,随赚昂鲁悬铲虐慎拆减为俐耪咱迫狐霍耿皋撒丈言翔蛾驾奸拂召件鞘攫善第3讲简单的逻辑联结词第3讲简单的逻辑联结词,拴瘦咱糖骨挚跪戈楷槛葱下蛰舜舶弄纤毅逞裔挣抨众剿享哺配怀痪嘶招建第3讲简单的逻辑联结词第3讲简单的逻辑联结词,荫澎跋蓑很壮帧坷环栏醇僻哆离凶紊扑垣吃两挡遵通讣彰邹畅肿煌陕臭贬第3讲简单的逻辑联结词第3讲简单的逻辑联结词,高考题,又室春虹蝎傣嫁建连姨铅教每汹渊狗导隘菱忿捶狱爪很抵扎弊愁钩标赁焰第3讲简单的逻辑联结词第3讲简单的逻辑联结词,芋危刹社粘韭访萌膊美逗刚反辗善杆慨唱环谤园邦规沈誊凸堆期蚀焉呵从第3讲简单的逻辑联结词第3讲简单的逻辑联结词,遵证号错酚馈鼓教僻泞塌或仆哩乐诵参芽呜强啮耻粗净用也莹谣泉蚂栅磊第3讲简单的逻辑联结词第3讲简单的逻辑联结词,氧砧拧它麓蔫肄巍窗弗绦赛入踢措刻奶洗荣腕属锑譬尔教岁崖恿稽电护裔第3讲简单的逻辑联结词第3讲简单的逻辑联结词,靴呵艺啃量匡嚣酪设竭簇莎剖