1.区别A是B的充分不必要条件(A⇒B且B⇒ A)，与A的充分不必要条件是B(B⇒A且A⇒B)两者的不同.
2.充要关系与集合的子集之间的关系，设A＝{x|p(x)}，B＝{x|q(x)}，
(1)若A⊆B，则p是q的充分条件，q是p的必要条件.
(2)若AB，则p是q的充分不必要条件，q是p的必要不充分条件.
(3)若A＝B，则p是q的充要条件.
3.p是q的充分不必要条件，等价于綈q是綈p的充分不必要条件.
4.含有一个量词的命题的否定规律是“改量词，否结论”.
5.对省略了全称量词的命题否定时，要对原命题先加上全称量词再对其否定.
6.命题p和綈p的真假性相反，若判断一个命题的真假有困难时，可判断此命题的否定的真假.
1.思考辨析(在括号内打“√”或“×”)
(1)至少有一个三角形的内角和为π是全称量词命题.( )
(2)写全称量词命题的否定时，全称量词变为存在量词.( )
(3)当p是q的充分条件时，q是p的必要条件.( )
