p→q解释为,如果p成立,那么q成立.
当我们在证明这个命题时,总是假设p成立,然后在这个前提下证明q也成立.
其实,最完整的做法是先对p进行讨论,分成立和不成立.
上面的方法暗含着当P不成立时,整个命题无需证明,也就是自然就是对的.