子集与推出关系里,空集包含于任何非空集合,那么一个空集构成的命题是不是就能够推出任何命题?
我举个例子.命题p：x2+1=0（x2表式x的平方）,命题q：x2≥0.显然第一个集合是空集,而第二个是全体实数集,前者包含于后者,那么根据子集与推出关系,命题p推出命题q?这有什么意义吗?