안녕하세요. 질문에 대한 관련 답변입니다. '루트2는 유리수가 아니다. ' 는 'p이면 q 이다' 꼴이 아니므로 가정과 결론을 구분하는 것이 애매합니다. 결론만 있는 문장으로 생각해서 '루트2는 유리수가 아니다' 를 결론으로 보고 루트2는 유리수이다 라고 부정하여 공리에 모순을 이끌어내면 됩니다.