문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 증명 (문단 편집) === 자연과학에서의 증명 기법 === * [[연역법|직접 증명법]] * '''간접 증명법''' : 간접 증명법의 종류로는 대우 증명법[* 어떤 명제와 그 명제의 대우는 진리치(참, 거짓)가 같다는 특성을 이용한 증명법], 모순 증명법([[귀류법]] 문서 참고)[* 명제를 반대로 가정하여 결론이 가정과 반대됨을 보여주어 명제가 참임을 증명하는 방법이다.], 반례 증명법[* 해당 명제의 반례가 있음을 보여주어 거짓임을 증명하는 방법이다.], [[애드혹|존재 증명법]][* 예제를 통한 증명 : 간단히 '어떤 수를 두 번 곱한 결과와 두 번 더한 결과가 같을 수 있다'라는 명제가 있는데 '''찾아보니 그 수가 [[2]] 또는 [[0]]이더라'''라고 해서 명제가 참이라고 증명하는 방법. 만일 직접 증명법으로 이 문제를 푼다면 2x = x^2 라고 2차[[방정식]]을 놓고 풀어야 한다. 듣기엔 그래도 실제로 꽤 요긴하게 쓰는 방법이다. 이런 종류의 명제는, ''''어떤''''이라는 말이 들어가서 예시를 하나라도 찾으면 되기 때문이다. 물론 명제가 거짓임을 보일 때도 이용된다(반례). 전설이 된 '[[메르센 소수|M(67)]]가 합성수임을 증명하는 것'도 이 수가 두 소수로 나눠 떨어짐을 칠판에 적기만 했을 뿐이었다.] * [[수학적 귀납법]] * 매거적 귀납법[* 위의 [[수학적 귀납법]] 참조]: 증명을 여러 경우의 수로 나누어 경우별로 증명하는 방법.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기