그밖에
귀류법이란?
밝은비
2012. 10. 7. 21:04
수학에서 귀류법 · 배리법은 증명하려는 명제의 결론이 부정이라는 것을 가정하였을 때
모순되는 가정이 나온다는 것을 보여,
원래의 명제가 참인 것을 증명하는 방법이다. -출처 : 위키피디아
어떤 명제를 증명하고자 할때
직접적인 증명이 어려운 경우
결론이 아니라고 가정하고 논리를 전개시켜서
결국 모순이 나오는것을 보여
결론을 부정한 처음의 가정이 잘못되었음을 보이는 방법으로
결론을 증명하는 방법입니다.