意思是如果不是p，那么一定不是q。否定的意思是两个相互排斥的事物，一方为另一方所取消或废除，表示反面。
它的逆命题是若q，则p。它的逆否命题是若非q，则非p。它的逆命题与否命题等价，原命题与逆否命题等价。
