充分条件。

如果A能推出B，那么A就是B的充分条件。其中A为B的子集，即属于A的一定属于B，而属于B的不一定属于A，具体的说若存在元素属于B的不属于A，则A为B的真子集；若属于B的也属于A，则A与B相等。

陈述某一事物情况是另一件事物情况的充分条件的假言命题叫做充分条件假言命题。充分条件假言命题的一般形式是：如果p，那么q。符号为：p→q（读作“p蕴涵于q”）。例如“如果物体不受外力作用，那么它将保持静止或匀速直线运动”是一个充分条件假言命题。