Jmnote bot (토론 | 기여) 잔글 (봇: 자동으로 텍스트 교체 (-== 참고 자료 == +==참고==)) |
|||
| (같은 사용자의 중간 판 2개는 보이지 않습니다) | |||
| 1번째 줄: | 1번째 줄: | ||
==개요== | ==개요== | ||
;proof by contradiction, indirect proof, apagogical argument, proof by assuming the opposite, reductio ad impossibilem | ;proof by contradiction, indirect proof, apagogical argument, proof by assuming the opposite, reductio ad impossibilem | ||
;귀류법, 배리법 | ;[[歸]][[謬]][[法]], 背理法, 反證法 | ||
*결론 부정하여 [[모순]]을 보이는 간접증명방법 | ;귀류법, 배리법, 반증법 | ||
*명제가 참임을 증명하기 위해 그 명제의 결론을 부정함으로써 | * 결론 부정하여 [[모순]]을 보이는 간접증명방법 | ||
*어떤 명제가 참임을 증명하려 할 때 그 명제의 결론을 부정함으로써 가정 또는 공리 등이 모순됨을 보여 간접적으로 그 결론이 성립한다는 것을 증명하는 방법 | * 명제가 참임을 증명하기 위해 그 명제의 결론을 부정함으로써 정리·가정 등에 모순이 된다는 것을 보여 그 명제가 참임을 증명하는 방법 | ||
* 어떤 명제가 참임을 증명하려 할 때 그 명제의 결론을 부정함으로써 가정 또는 공리 등이 모순됨을 보여 간접적으로 그 결론이 성립한다는 것을 증명하는 방법 | |||
==사례== | |||
* [[√2는 무리수 증명]] | |||
==같이 보기== | ==같이 보기== | ||
*[[ | {{z컬럼3| | ||
*[[ | * [[증명]] | ||
*[[ | * [[논증]] | ||
*[[ | * [[모순]] | ||
*[[부조리]] | * [[추론]] | ||
* [[연역법]] | |||
* [[귀납법]] | |||
* [[동일법]] | |||
* [[부조리]] | |||
* [[수학적 귀납법]] | |||
}} | |||
==참고== | ==참고== | ||
* | * {{영어위키백과|Proof by contradiction}} | ||
* | * {{위키백과}} | ||
* {{위키낱말사전}} | |||
* {{다음사전}} | |||
* {{다음백과}} | |||
* {{네이버사전}} | |||
* {{네이버백과}} | |||
* {{나무위키}} | |||
* {{리브레위키}} | |||
[[분류: 논리]] | [[분류: 논리]] | ||
[[분류: 3음절 한자어 명사]] | |||
[[분류: 歸]][[분류: 謬]][[분류: 法]] | |||
2020년 4월 28일 (화) 04:09 기준 최신판
1 개요[ | ]
- proof by contradiction, indirect proof, apagogical argument, proof by assuming the opposite, reductio ad impossibilem
- 歸謬法, 背理法, 反證法
- 귀류법, 배리법, 반증법
- 결론 부정하여 모순을 보이는 간접증명방법
- 명제가 참임을 증명하기 위해 그 명제의 결론을 부정함으로써 정리·가정 등에 모순이 된다는 것을 보여 그 명제가 참임을 증명하는 방법
- 어떤 명제가 참임을 증명하려 할 때 그 명제의 결론을 부정함으로써 가정 또는 공리 등이 모순됨을 보여 간접적으로 그 결론이 성립한다는 것을 증명하는 방법
2 사례[ | ]
3 같이 보기[ | ]
4 참고[ | ]
네이버백과 "귀류법"
나무위키 "귀류법"
로그인하시면 댓글을 쓸 수 있습니다.
{{ comment.name }}
{{ comment.created | snstime }}
-
{{comment.page_title}} ―{{comment.name}}