그밖에

귀류법이란?

밝은비 2012. 10. 7. 21:04






수학에서 귀류법 · 배리법은 증명하려는 명제의 결론이 부정이라는 것을 가정하였을 때


모순되는 가정이 나온다는 것을 보여,


원래의 명제가 참인 것을 증명하는 방법이다.    -출처 : 위키피디아




어떤 명제를 증명하고자 할때


직접적인 증명이 어려운 경우


결론이 아니라고 가정하고 논리를 전개시켜서


결국 모순이 나오는것을 보여


결론을 부정한 처음의 가정이 잘못되었음을 보이는 방법으로


결론을 증명하는 방법입니다.



예) 무리수가 유리수가 아님을 보이는 경우


     수열의 극한이 유일함을 보이는 경우



'그밖에' 카테고리의 다른 글

수학 용어 영어로 읽는법  (0) 2012.07.24