안녕하세요 '이'는 '역'과 참 거짓을 같이 합니다. 즉 이가 참이면 역이 참이고 역이 참이면 이가 참입니다. 주어진 명제가 참이라 해도 이가 참일수 있고 거짓일수 있습니다. 즉 주어진 명제와 이는 상관관계가 없습니다. 명제p->q의 부정은 ~p->~q이 아니라 '이지만 q가 아니다' 입니다. 명제의 부정은 굳이 알 필요까지는 없습니다.