주 메뉴 열기

바뀜

8 바이트 제거됨 ,  3년 전
봇: 인용 틀 변수 이름 수정
'''귀류법'''(歸謬法, {{문화어|귀유법}})은 어떤 주장에 대해 그 함의하는 내용을 따라가다보면 이치에 닿지 않는 내용 또는 결론에 이르게 된다는 것을 보여서 그 주장이 잘못된 것임을 보이는 것이다. '배리법'(背理法) 또는 '반증법'(反證法)이라고 일컬어지기도 한다.<ref name="IEP">{{cite web |언어고리언어=en|꺽쇠표=1|url=http://www.utm.edu/research/iep/r/reductio.htm |work = The Internet Journal of Philosophy |title = Reductio ad absurdum |author = Nicholas Rescher |accessdate =2011-01-25}}</ref> 귀류법은 간접증명법이다.<ref>차길영. [http://www.kyeongin.com/news/articleView.html?idxno=498359 귀류법에 관하여]. 경인일보. 2010년 1월 24일.</ref> <ref>김경. [http://www.veritas-a.com/news/articleView.html?idxno=28097 2015 수시 논술중심전형 수리논술 대비 방안]. 베리타스알파. 2014년 9월 15일.</ref>
<ref>조홍재. [http://news.naver.com/main/read.nhn?mode=LSD&mid=sec&sid1=102&oid=022&aid=0002695205 ‘수열’ 파트 증명 문제 어떻게]. 세계일보. 2014년 7월 27일.</ref>
 
수학에서 '''귀류법'''{{.cw}}'''배리법'''은 증명하려는 [[명제]]의 결론이 부정이라는 것을 가정하였을 때 [[모순]]되는 가정이 나온다는 것을 보여, 원래의 명제가 참인 것을 증명하는 방법이다. 귀류법은 [[유클리드]]가 2000년 전 [[소수 (수론)|소수]]의 무한함을 증명하기 위해 사용하였을 정도로 오래된 증명법이다.
 
예를 들어 <math>\sqrt{2}</math>가 [[유리수]]가 아님을 귀류법으로 증명하기 위해서는 다음과 같은 과정을 따른다.
 
# <math>\sqrt{2}</math>가 유리수라고 가정한다. 따라서 <math>\sqrt{2} = \frac{b}{a}</math>으로 둘 수 있다. (<math>a, b</math>는 [[서로소 (수론)|서로소]]인 자연수)

편집

32,875