如果无a那么有b可以推出有b无a吗