第1页共6页第一章常用逻辑用语1、命题:用语言、符号或式子表达的,可以判断真假的陈述句.真命题:判断为真的语句.假命题:判断为假的语句.2、“若p,则q”形式的命题中的p称为命题的条件,q称为命题的结论.3、对于两个命题,如果一个命题的条件和结论分别是另一个命题的结论和条件,则这两个命题称为互逆命题.其中一个命题称为原命题,另一个称为原命题的逆命题.若原命题为“若p,则q”,它的逆命题为“若q,则p”.4、对于两个命题,如果一个命题的条件和结论恰好是另一个命题的条件的否定和结论的否定,则这两个命题称为互否命题.中一个命题称为原命题,另一个称为原命题的否命题.若原命题为“若p,则q”,则它的否命题为“若p,则q”.5、对于两个命题,如果一个命题的条件和结论恰好是另一个命题的结论的否定和条件的否定,则这两个命题称为互为逆否命题.其中一个命题称为原命题,另一个称为原命题的逆否命题.若原命题为“若p,则q”,则它的否命题为“若q,则p”.6、四种命题的真假性:四种命题的真假性之间的关系:1两个命题互为逆否命题,它们有相同的真假性;2两个命题为互逆命题或互否命题,它们的真假性没有关系.7、若pq,则p是q的充分条件,q是p的必要条件.若pq,则p是q的充要条件(充分必要条件).8、用联结词“且”把命题p和命题q联结起来,得到一个新命题,记作pq.当p、q都是真命题时,pq是真命题;当p、q两个命题中有一个命题是假命题时,pq是假命题.用联结词“或”把命题p和命题q联结起来,得到一个新命题,记作pq.当p、q两个命题中有一个命题是真命题时,pq是真命题;当p、q两个命题都是假命题时,pq是假命题.对一个命题p全盘否定,得到一个新命题,记作p.若p是真命题,则p必是假命题;若p是假命题,则p必是真命题.9、短语“对所有的”、“对任意一个”在逻辑中通常称为全称量词,用“”表示.含有全称量词的命题称为全称命题.全称命题“对中任意一个x,有px成立”,记作“x,px”.短语“存在一个”、“至少有一个”在逻辑中通常称为存在量词,用“”表示.原命题逆命题否命题逆否命题真真真真真假假真假真真真假假假假第2页共6页含有存在量词的命题称为特称命题.特称命题“存在中的一个x,使px成立”,记作“x,px”.10、全称命题p:x,px,它的否定p:x,px.全称命题的否定是特称命题.第一章常用逻辑用语测试题一、选择题(每道题只有一个答案,每道题5分,共60分)1、一个命题与他们的逆命题、否命题、逆否命题这4个命题中()A、真命题与假命题的个数相同B真命题的个数一定是奇数C真命题的个数一定是偶数D真命题的个数可能是奇数,也可能是偶数2、下列命题中正确的是()①“若x2+y2≠0,则x,y不全为零”的否命题②“正多边形都相似”的逆命题③“若m0,则x2+x-m=0有实根”的逆否命题④“若x-123是有理数,则x是无理数”的逆否命题A、①②③④B、①③④C、②③④D、①④3、“用反证法证明命题“如果xy,那么51x51y”时,假设的内容应该是()A、51x=51yB、51x51yC、51x=51y且51x51yD、51x=51y或51x51y4、“a≠1或b≠2”是“a+b≠3”的()A、充分不必要条件B、必要不充分条件C、充要条件D、既不充分也不必要5、设甲是乙的充分不必要条件,乙是丙的充要条件,丁是丙的必要非充分条件,则甲是丁的()A、充分不必要条件B、必要不充分条件C、充要条件D、既不充分也不必要6、函数f(x)=x|x+a|+b是奇函数的充要条件是()A、ab=0B、a+b=0C、a=bD、a2+b2=07、“若x≠a且x≠b,则x2-(a+b)x+ab≠0”的否命题()A、若x=a且x=b,则x2-(a+b)x+ab=0B、B、若x=a或x=b,则x2-(a+b)x+ab≠0C、若x=a且x=b,则x2-(a+b)x+ab≠0D、D、若x=a或x=b,则x2-(a+b)x+ab=08、“12m”是“直线(m+2)x+3my+1=0与直线(m+2)x+(m-2)y-3=0相互垂直”的()A、充分不必要条件B、必要不充分条件C、充要条件D、既不充分也不必要第3页共6页9、命题p:存在实数m,使方程x2+mx+1=0有实数根,则“非p”形式的命题是()A、存在实数m,使得方程x2+mx+1=0无实根B、不存在实数m,使得方程x2+mx+1=0有实根C、对任意的实数m,使得方程x2+mx+1=0有实根D、至多有一个实数m,使得方程x2+mx+1=0有实根10.若abcd和abef都是真命题,其逆命题都是假命题,则cd是ef的()A.必要非充分条件B.充分非必要条件C.充分必要条件D.既非充分也非必要条件11.在下列结论中,正确的是()①qp为真是qp为真的充分不必要条件②qp为假是qp为真的充分不必要条件③qp为真是p为假的必要不充分条件④p为真是qp为假的必要不充分条件A.①②B.①③C.②④D.③④12.设集合0,,02,,,,nyxyxBmyxyxARyRxyxu,那么点P(2,3)BCAu的充要条件是()A.m-1,n5B.m-1,n5C.m-1,n5D.m-1,n5二、填空题(每道题4分,共16分)13、判断下列命题的真假性:①、若m0,则方程x2-x+m=0有实根②、若x1,y1,则x+y2的逆命题③、对任意的x∈{x|-2x4},|x-2|3的否定形式④、△0是一元二次方程ax2+bx+c=0有一正根和一负根的充要条件14、“末位数字是0或5的整数能被5整除”的否定形式是否命题是15、若把命题“AB”看成一个复合命题,那么这个复合命题的形式是__________,构成它的两个简单命题分别是_____________________________________。16、用符号“”与“”表示含有量词的命题:(1)实数的平方大于等于0___________________________________________(2)存在一对实数,使2x+3y+30成立________________________________.二、解答题17、(12)写出下列命题的否定:(1)所有自然数的平方是正数(2)任何实数x都是方程5x-12=0的根第4页共6页(3)对于任意实数x,存在实数y,使x+y0(4)有些质数是奇数18、(12)用反证法证明:已知a与b均为有理数,且a和b都是无理数,证明a+b也是无理数。19、(12)已知命题:P“若,0ac则二次方程02cbxax没有实根”.(1)写出命题P的否命题;(2)判断命题P的否命题的真假,并证明你的结论.20、(12)已知p:2311x,q:001222mmxx,若p是q的必要不充分条件,求实数m的取值范围。21.已知0ab,求证1ba的充要条件是02233baabba第5页共6页22.求实数a的取值范围,使得关于x的方程.062122axax.(1)有两个都大于1的实数根;(2)至少有一个正实数根。参考答案一、选择题二、填空题13.①.假②.假③.真④.假14.否定形式:末位数是0或5的整数,不能被5整除否命题:末位数不是0或5的整数,不能被5整除15.p∨q;p:A=B,q:AB16.三、解答题17、18、证明:假设a+b是有理数,则(a+b)(ab)=ab由a0,b0则a+b0即a+b0∴bababa∵a,bQ且a+bQ∴babaQ即(ab)Q第6页共6页这样(a+b)+(ab)=2aQ从而aQ(矛盾)∴a+b是无理数。19.解:(1)命题P的否命题为:“若,0ac则二次方程02cbxax有实根”.(2)命题P的否命题是真命题.证明如下:,04,0,02acbacac二次方程02cbxax有实根.∴该命题是真命题.20.解:由p:2311x.102x.921101.,,11:,210:.110122mmmqpqpmxmxpxxpmxmmmxq所以故只需满足所以的必要不充分条件是因为或或所以所以可得由21.证明:必要性:0....111,1,122332233aaaaaabaabbaabba即充分性:2233baabba0即01,0,.1,0432,0,0,0.01022332222222222baabbabaabbabbabababaabbabababababababa的充要条件是当综上可知只有且即又