1．四种命题及其关系
(1)四种命题
|
命题
|
表述形式
|
|
原命题
|
若p，则q
|
|
逆命题
|
若q，则p
|
|
否命题
|
若¬p，则¬q
|
|
逆否命题
|
若¬q，则¬p
|
(2)四种命题间的逆否关系
(3)四种命题的真假关系
两个命题互为逆否命题，它们有相同的真假性；两个命题为互逆命题或互否命题，它们的真假性没有关系．
2．充分条件与必要条件
|
若p⇒q，则p是q的充分条件，q是p的必要条件
|
p成立的对象的集合为A，q成立的对象的集合为B
|
|
p是q的充分不必要条件
|
p⇒q且qp
|
A是B的真子集
|
集合与充分、必要条件
|
|
p是q的必要不充分条件
|
pq且q⇒p
|
B是A的真子集
|
|
p是q的充要条件
|
p⇔q
|
A＝B
|
|
p是q的既不充分也不必要条件
|
pq且qp
|
A，B互不包含
|
3.简单的逻辑联结词
