命题的推出关系中不是小范围可以推大范围吗,那空集是所有集合的子集是不是空集构成的命题