주 메뉴 열기

바뀜

7 바이트 추가됨 ,  8년 전
편집 요약 없음
'''귀류법'''(歸謬法, {{llang|ko-KP|귀유법}}), '''배리법'''(背理法) 또는 '''반증법'''(反證法)은 어떤 주장에 대해 그 함의하는 내용을 따라가다보면 이치에 닿지 않는 내용 또는 결론에 이르게 된다는 것을 보여서 그 주장이 잘못된 것임을 보이는 것이다.<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> 영어권에서는 [[라틴어]]로 "레둑티오 아드 아브수르둠([[:en:Reductio ad absurdum|Reductio ad absurdum]])"이라고 하며 이것의 해당 영어는영어 번역은 "리덕션 투 더 업설드(reduction to the absurd)"이다. [[수학]]에서는 특히 귀류법 또는 배리법이라고 부르며, 수학의 귀류법은 어떤 수학적 명제가 참인 것을 증명하는 수학적 증명 방법 중 하나이다. 수학의 귀류법은 영어로 "[[:en:Proof by contradiction|Proof by contradiction]] (프루프 바이 컨트러딕션{{.cw}}모순에 의한 증명)"이라고 한다.
 
==단어들의 의미==