(2)四种命题中真假性的等价关系：原命题等价于逆否命题，原命题的否命题等价于逆命题．在四种形式的命题中真命题的个数只能是0,2,4.
3．充要条件
|
若p⇒q，则p是q的充分条件，q是p的必要条件
|
p成立的对象的集合为A，q成立的对象的集合为B
|
|
p是q的充分不必要条件
|
p⇒q且qp
|
A是B的真子集
|
集合与充要条件
|
|
p是q的必要不充分条件
|
p q且q⇒p
|
B是A的真子集
|
|
p是q的充要条件
|
p⇔q
|
A＝B
|
|
p是q的既不充分也不必要条件
|
p q且qp
|
A，B互不包含
|
1．下列命题是真命题的是( )
A．若log2a＞0，则函数f(x)＝logax(a＞0，a≠1)在其定义域上是减函数
B．命题“若xy＝0，则x＝0”的否命题
C．“m＝3”是“直线(m＋3)x＋my－2＝0与mx－6y＋5＝0垂直”的充要条件
D．命题“若cos x＝cos y，则x＝y”的逆否命题
答案：B
2．(2019·温州高考适应性测试)已知α，β∈R，则“α＞β”是“cos α＞cos β”的( )
A．充要条件 B．充分不必要条件
C．必要不充分条件 D．既不充分也不必要条件
