P -> Q

~Q
~P

~Q-> ~P
~Q->~P

p->Q

(P->Q) <->(~Q->~P)

어떻게푸냐 시발