分为充分性，和必要性两步共同来证明。命题若p,则q，证明充分性，就是把命题p当为真，推出结论和命题q一致，则充分性证到；证明必要性，将命题q当为真，推出结论与p.一致，则必要性证到。综合，充要条件证到。
