如果“若p,则q”和它的逆命题“若q,则p”均是真命题,即既有p⇒q,又有q⇒p,就记作p⇔q.此时,p既是q的充分条件,也是q的必要条件,我们说p是q的充分必要条件,简称为充要条件.概括地说,如果p⇔q,那么p与q互为充要条件.