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