p推出q,p是q的充分条件
q推出p,p是q的必要条件
可互推,充要条件（充分必要条件）.
小推大有情况可以大推小吗？只有互相等价的时候才可以互推。我所说的小推大是指范围小的（如x＜2）能推出范围大的﹙如x＜3），直观的来理解也能知道：当x＜2时，x一定是小于3的而当x＜3时，例如x取2.5就不一定有x＜2。