그냥 직접 하나하나 반례를 찾아보는 방법밖에 없을려나요?

그냥 증명하면 되는거 아닌가? 라고 생각 되시겠지만...
제 말은, 그 명제를 증명할때의 모든 과정에서 모순되는 점이 없음을 쉽게 확인 할 수 있는 방법이 없냐 하는겁니다.

사람이 실수를 했는지 안했는지 이런거 말입니다.

- dc official App