令：A是命题，B是结论 A→B：A是B的充分条件 A成立B一定成立，A不成立B不一定不成立 B→A：A是B的必要条件 A成立B不一定成立，A不成立B一定不成立 A↔B：AB互为充要条件（充分必要），即B成立当且仅当A成立
说xxx的充要条件是xxx， 是把后者作为条件 即 证B的充要条件是A，是：证充分性（A->B），证必要性（B->A）
