귀류법: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 로봇이 더함: ca:Prova per contradicció |
WikiDreamer Bot (토론 | 기여) 잔글 로봇이 더함: hu:Reductio ad absurdum, is:Niðursöllun í fáránleika |
||
| 15번째 줄: | 15번째 줄: | ||
[[fr:Raisonnement par l'absurde]] |
[[fr:Raisonnement par l'absurde]] |
||
[[he:הוכחה בדרך השלילה]] |
[[he:הוכחה בדרך השלילה]] |
||
[[hu:Reductio ad absurdum]] |
|||
[[is:Niðursöllun í fáránleika]] |
|||
[[it:Dimostrazione per assurdo]] |
[[it:Dimostrazione per assurdo]] |
||
[[ja:背理法]] |
[[ja:背理法]] |
||
2008년 7월 3일 (목) 04:39 판
귀류법(조선말: 귀유법), 배리법은 증명하려는 명제의 부정이 참이라는 것을 가정하였을 때 모순되는 결과가 나온다는 것을 보여, 원래의 명제가 참인 것을 증명하는 방법이다. 귀류법은 유클리드가 2000년전 소수의 무한함을 증명하기 위해 사용하였을 정도로 오래된 증명법이다.