반례는 위선명제만 증명할 수 있습니까? 귀류법은 진짜 명제만 증명할 수 있습니까? 후자의 문제를 나는 이해할 수 없으니 전문가에게 해답을 요청하십시오.
반례와 귀류법은 명제의 진위를 판단하는 두 가지 방법이지만, 본질적으로는 다르다. 반례란 일반적으로 어떤 예가 성립되지 않았다는 것을 설명하는 데 사용되는 예를 가리킨다. 반례는 하나의 명제가 거짓임을 증명하는 방법이다. 예를 들면, "두 무리수의 합은 무리수이다." " 이 명제가 성립되지 않는다고 판단하려면' 야부와 1 10000 의 합이 일리가 있다' 를 인용하면 된다. 이 명제가 거짓임을 확신할 수 있다. 예를 들어 볼록 다각형의 대각선이 같으면 볼록 다각형 () 입니다. (a) 사변형 (b) 은 오각형 (c) 이어야 합니다. 사변형 또는 오각형 (d) 은 모든 모서리가 같거나 모든 내부 각도가 같은 다각형입니다. 정오각형은 대각선이 같은 다각형이지만 사변형은 아니기 때문에 반례를 제시하여 각 옵션의 정확성을 결정할 수 있습니다. 정사각형은 대각선이 같은 다각형이지만 오각형이 아니므로 부정할 수 있습니다 (b). 이등변 사다리꼴의 대각선도 같지만 가장자리가 모두 같지 않아 부정할 수 있으므로 (D) 를 선택해야 합니다 (C). 따라서 명제가 거짓임을 증명하는 것은 반례를 많이 줄 필요가 없다. 조건에 부합하지만 결론과 일치하지 않는 예를 제시하면 된다. 하나의 진명제에 대해서는 반례로 증명할 수 없고, 반드시 논리적 논증으로 증명해야 한다. 명제가 사실이라면 반례를 줄 수 없다. 반증법은 명제가 진짜임을 증명하는 방법이다. 그것은 논리적 사고에 근거하여 그것의 성립을 증명하는 것이다: 반증법의 증명 단계는 (L) 역설계: 가설결론의 반대가 성립된다는 것이다. (2) 반증법: 역설계와 제목 설계의 조건에서 공리, 정리 또는 제목 설계와 모순되는 결과 (또는 모순된 결과) 를 도출한다. (3) 충실도: 얻은 결론의 모순을 통해 원래의 명제를 긍정한다.