第一章常用逻辑用语基础知识一、逻辑联结词和四种命题
1.命题的概念:2.简单命题及其关系结论:3.命题及其真假含有逻辑联结词的命题:或且非真假判断:(真值表)或一真则真,同假则假且都真则真,一假则假非真假相对含有量词的命题:全称命题(所有,任意,每一个,都﹍)存在性命题(存在,有些,有一个﹍)否定:全称命题:)(,xpMx否定)(,xpMx存在性命题:)(,xpMx否定,Mx)(xp4.命题的否定与否命题的区别:“若P则Q”形式的命题否命题为命题的否定为含有逻辑联结词的命题的否定:含有量词的命题的否定:全称命题存在性命题5.充要条件若AB则A是B的____条件,B是A的____条件,非A是非B的____条件
若AB,BC则A是C的__条件,非C是非A的__条件
基础练习A:1
用“p或q”、“p且q”、“非p”填空:命题:“三角形有内切圆和外接圆”是形式;命题:“若xy<0,则点P(x,y)在第二或第四象限”是形式;“梯形不是平行四边形”是形式2
用“或”、“且”、“非”填空:①若xA∪B,则xAxB;②若xA∩B,则xAxB;③若a、bR,且ab=0,则a=0___b=0;④若a、bR,且a2+b2=0,则a=0__b=03
有下列命题,其中真命题有用心爱心专心原命题若p则q否命题若┐p则┐q逆否命题若┐q则┐p逆命题若q则p①面积相等的三角形是全等的三角形;②“若xy=0,则|x|+|y|=0”的逆命题;③“若a>b,则a+c>b+c”的否命题;④“矩形的对角线互相垂直”的逆否命题4
用反证法证明“若a,bN,ab可被5整除,则a,b中至少有一个能被5整除”时,假设的内容是5
已知下列三个方程:x2+4ax-4a+3=0,x2+(a-1)x+a2=0,x2+2ax-2a=0至少有一个方程有实数根,求实数a的范围