用逆否命题来判断
不奇怪,习惯就好了.
因为原命题和逆否命题等价.
就像很多证明,原命题看不太清楚,也去证逆否命题.
感觉奇怪可能是汉语的习惯问题吧,毕竟逻辑学最初不是用汉语写的.