二者等价.
如果p,那么q 意味着由p推出q（p->q）.
只有非p,才非q 意味着由非q推出非p(-p->-q),逆否命题为p推出q(p->q)