이번에 2학년 올라가는 지거국 수교 학생이고

해석학 문제들 풀다가 드는 궁금증입니당


 a->b이다 라는 명제를 증명할때 결과를 부정하여 a면 b가 아니다 라고 한 뒤 모든 케이스에 대해 모순이다를 설명하지 않고 반례 한개만을 들어  결과를 부정한 해당 명제는 반례를 가지고 있어 성립하지 않으니 해당 명제는 성립한다?


이런식으로 증명해도 괜찮나요? 질문드립니다