안녕하세요. 질문에 대한 관련 답변입니다. 명제 p -> q 의 이는 ~(not) 을 이용하여 '~p -> ~ q' 입니다. 그리고 명제 p -> q 의 부정은 고등학교 교육과정에서는 안배웁니다. 결론만 말하면 'p 이고 ~ q '입니다.