p:若p,则q 非p:是若非p,则非q还是若p,则非q?为什么?两种在什么情况用?