1、如果既有p q，又有q p，就记作 p q。

2、这时，p既是q的充分条件，又是q的必要条件，我们就说p是q的充分必要条件，简称充要条件。

3、例如，命题p：x+2是无理数， 命题q：x是无理数. 由于“x+2是无理数” “x是无理数”,所以p是q的充要条件。