因为真命题的逆反命题为真，所以对于p→非q为真来说，它的逆反命题是q→非p为真，和非q→非p为真恰好矛盾。 p.s.原来还有补充啊，差点用自己证明自己了，这是反证法，因为前面的假设在，所以最后推出了矛盾啊
