어떤 명제와 그 명제의 부정형은 어느 하나가 참이면 다른 하나는 거짓이고 어느 하나가 거짓이면 다른 하나는 참인데 여기서 p이면 q이다의 부정형이 거짓임을 입증함으로서 p이면 q이다가 참임을 입증한다라는 발상인 걸 처음 알았을 때는 되게 신기했으면서도 허무했음 물론 그게 무엇인지 이해하는 거랑 그걸 잘 써먹는 거랑은 다른 문제지만...