判定p=>q不成立时,经常使用举反例的方法,这句话对吗?