4、q,但qÞp,故p不是q的充要条件;命题(5)中,p¹>q,且q¹>p,故p不是q的充要条件;例2:已知:⊙O的半径为r,圆心O到直线l的距离为d.求证:d=r是直线l与⊙O相切的充要条件.分析:设p:d=r,q:直线l与⊙O相切.要证p是q的充要条件,只需要分别证明充分性(pÞq)和必要性(qÞp)即可.证明过程略.例3、设p是r的充分而不必要条件,q是r的充分条件,r成立,则s成立.s是q的充分条件,问(1)s是r的什么条件?(2)p是q的什么条件?4.四种条件:一般地,若pÞq,但q ¹> p