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