증명 (수학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
편집 요약 없음 |
||
8번째 줄:
* 직접 증명: 공리와 정의, 그리고 이미 증명된 정리를 논리적으로 직접 연결하여 증명한다.(연역적)
* [[수학적 귀납법]]: 바탕 명제(base case)가 참일 때, 귀납 규칙(induction rule)을 증명하여 무한히 많은 다른 명제들도 참이라는 것을 보인다. (귀납적)
* [[귀류법]](reductio ad absurdum): 어떤 명제가 거짓이라고 가정하면 모순이 발생한다는 것을 증명하면, 그 명제가 참이어야 함을 알 수 있다.
* 반례
|