A=[0,正无穷)B=[1,正无穷)那么我们就可推出B真包含于A简单逻辑连词就是B可推出A,也就是说B是A的充分不必要条