如果A能推出B，那么A就是B的充分条件。其中A为B的子集，即属于A的一定属于B，而属于B的不一定属于A，

具体的说若存在元素属于B的不属于A，则A为B的真子集；若属于B的也属于A，则A与B相等。

       1、必要条件：如果能由结论推出条件，但由条件推不出结论，此条件为必要条件。
       2、充分条件：由条件能推出结论，但由结论推不出这个条件，这个条件就是充分条件。
       假设A是条件，B是结论
       由A可以推出B，由B不可以推出A，则A是B的充分不必要条件
       由A不可以推出B，由B可以推出A，则A是B的必要不充分条件
       由A不可以推出B，由B不可以推出A，则A是B的不充分不必要条件
       由A可以推出B，由B可以推出A，则A是B的充要条件（充分且必要条件）

       不过生活中使用这些关联词语时人们往往并不考虑必要性。也就是说，满足A，必然B成立时，我们就说，如果A，那么B，或者说只要A，就B。这样就表达了条件的充分性，至于条件A是不是结果B必需的我们没有考虑。例如：只要活着，我就要写作。

        所以生活中这些关联词语只是表达条件是充足的、充分的这个意思，而没有考虑必要性，这和逻辑学的严格定义是不同的。