不能推出，当a的集合等于b的集合时，就不存在b不是a了。
正常来说所有A是B说明B包含A 按照逻辑判断所有A是B 推某个B是A 推出有的B是A
当然可以啦A={1，2，3} ， B={1，2，3，4}这里的4就是你所谓的有些b不是a
