p的充要条件是q， 这句话是说q是p的充要条件 。欲证q是p的充要条件，只需证q⇒p（充分性，有q就有p）且p⇒q （必要性：p成立必须有q） 区分充分性和必要性，一般地先化成‘’A是B的充要条件的形式‘’ ，则A⇒B是充分性 B⇒A是必要性
