由条件出发能推出结论成立的，这个条件就是结论的成立的
充分条件；由结论出发能推出条件成立的，这个条件就是结论的成立的必要条件。
如果a<=b,那么a是b的必要条件，如果a<=>b,那么a是b的
充要条件，如果a<≠>,那么a是b的非充分非必要条件。要注意箭头方向，箭头指向左(<=)是必要条件，箭头指向右（=>)是充分条件。
如果箭头双向都成立是
充分必要条件（简称充要）同理，都无法推出是非充分非必要（也可以说不充分不必要）。
充分条件是完全满足证明条件，必要条件是证明必不可少的其中一部分。
其实判断是充分条件还是必要条件最重要的一点就是，充分条件只有一方成立，而必要条件必须两方都成立。