A=[0,正无穷）
问题描述：
A=[0,正无穷）
B=[1,正无穷）
那么我们就可推出B真包含于A
简单逻辑连词就是B可推出A,也就是说B是A的充分不必要条件了.
然后得到一个通法,只要B集合是A集合的充分不必要条件,那么B集合就是A集合的真子集,也就是B真包含于A了,可若B是空集,它也是任何非空集合的真子集,但它怎么可能推出别的集合呢,换句话说,空集难道就是那么集合的充分条件了?
答
这个“通法”不会是你们老师教的吧...你的意思应该是“x属于B”推出“x属于A”,不是B推出A.属于空集的x没意义不存在,就是你所说的“通法”条件都不成立.