资源描述
单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,常用逻辑用语章节复习,常用逻辑用语章节复习,知识网络,常用逻辑用语,命题及其关系,简单的逻辑联结词,全称量词与存在量词,四种命题,充分条件与必要条件,量词,全称量词,存在量词,含有一个量词的否定,或,且,非或,并集,交集,补集,运算,知识网络 常用逻辑用语命题及其关系简单的逻辑联结词全称量词与,高中数学选修2-1第一章复习ppt课件,一个,符号,条件的否定,记作“,”。读作“非”。,若,p,则,q,逆否命题:,原命题:,逆命题:,否命题:,若,q,则,p,若,p,则,q,若,q,则,p,二、四 种 命 题,一个符号条件的否定,记作“”。读作“非”。若p 则q,结论,1,:要写出一个命题的另外三个命题关键是,分清命题的题设和结论(即把原命题写成“若,P,则,Q”,的形式),注意:三种命题中最难写 的是,否命题。,结论,2,:,(,1,)“或”的否定为“且”,,(,2,)“且”的否定为“或”,,结论1:要写出一个命题的另外三个命题关键是分清命题的题设和结,四种命题之间的 关系,原命题,若,p,则,q,逆命题,若,q,则,p,否命题,若,p,则,q,逆否命题,若,q,则,p,互逆,互否,互否,互逆,互为 逆否,四种命题之间的 关系原命题逆命题否命题逆否命题互逆互否互否互,(,2,)若其逆命题为真,则其否命题一定为真。但其原命题、逆否命题不一定为真。,(1),原命题与逆否命题同真假。,(2),原命题的逆命题与否命题同真假。,(,1,)原命题为真,则其逆否命题一定为真。但其逆命题、否,命题不一定为真。,命题真假性判断,结论:,(2)若其逆命题为真,则其否命题一定为真。但其原命题、,反证法的一般步骤:,假设命题的结论不成立,即假,设结论的反面成立;,从这个假设出发,经过推理论证,得出矛盾;,(3),由矛盾判定假设不正确,,从而肯定命题的结论正确。,反设,归谬,结论,反证法,反证法的一般步骤:假设命题的结论不成立,即假从这个假设出发,,充分必要条件,充分必要条件,高中数学选修2-1第一章复习ppt课件,高中数学选修2-1第一章复习ppt课件,短语”对所有的”对任意一个”在逻辑中通常叫做,全称量词,并用符号“”表示,.,含有全称量词的命题,叫做全称命题,常见的全称量词还有,:,“,对所有的”,”,对任意一个”,”,对一切”,”,对每一个”,”,任给”,”,所有的”等,.,短语”对所有的”对任意一个”在逻辑中通常叫做,全称量词,并用符号“”表示,.,含有全称量词的命题,叫做,全称命题,.,短语”对所有的”对任意一个”在逻辑中通常叫做全称量,符号,全称命题”对,M,中任意一个,x,有,p(x),成立”可用符号简记为,读作”对任意,x,属于,M,有,p(x),成立”,.,符号,短语”存在一个”至少有一个”在逻辑上通常叫做,存在量词,并用符号”表示,.,含有存在量词的命题,叫做,特称命题,.,常见的存在量词还有”,有些,”,有一个,”,有的,”,对某个,”等,.,短语”存在一个”至少有一个”在逻辑上通常叫做存在量,特称命题”存在,M,中的一个,x,使,p(x),成,立”可用符号简记为,读做”存在一个,x,使,p(x),成立”,.,特称命题”存在M中的一个x,使p(x)成,从命题形式上看,这三个全称命题的否定都变成了特称命题,.,一般地,对于含有一个量词的全称命题的否定,有下面的结论,:,全称命题,p:,全称命题的否定是特称命题,.,从命题形式上看,这三个全称命题的否定都变成了特称命题,从命题形式上看,这三个特称命题的否定都变成了全称命题,.,一般地,对于含有一个量词的特称命题的否定,有下面的结论,:,特称命题,它的否定,从命题形式上看,这三个特称命题的否定都变成了全称命题,.,一般地,对于含有一个量词的特称命题的否定,有下面的结论,:,特称命题,特称命题的否定是全称命题,.,从命题形式上看,这三个特称命题的否定都变成了全称命题.特称命,高中数学选修2-1第一章复习ppt课件,例,2,判断命题:“若,a,b,7,,,则,a,3,,且,b,4”,的真假,解析,其逆否命题为:,“若,a,3,或,a,4,,则,a,b,7”,显然这是一个假命题,,原命题为假,例2判断命题:“若ab7,解析其逆否命题为:,高中数学选修2-1第一章复习ppt课件,高中数学选修2-1第一章复习ppt课件,高中数学选修2-1第一章复习ppt课件,高中数学选修2-1第一章复习ppt课件,高中数学选修2-1第一章复习ppt课件,高中数学选修2-1第一章复习ppt课件,高中数学选修2-1第一章复习ppt课件,高中数学选修2-1第一章复习ppt课件,
展开阅读全文