귀류법
오늘은 어떻게 생각하면 쉬운데
또 어떻게 생각하면 아주 복잡하고
짜증도 나는(^^) 귀류법에 대하여
포스팅합니다~~!!
인강은 추후에 제작하여 올릴테니
조금만 기다려주세요~!
<<기본개념 인강>>
죄송합니다. 제작 중입니다!
아래의 루트2와 소수가 무한개 증명
강의 영상으로 학습해주세요~
루트2 증명 01강
루트2 증명 02강
<<소수가 무한개임을 증명>>
<<교재 다운로드>>
<<교재 바로보기>>
◉ 귀류법
1. 정의 (돌아갈 귀, 틀릴 류, 방법 법)
-직접증명법의 적용이 가능하지 않거나 복잡할 때, 어떤 명제가 참인 것을 증명하기 위해
-그 명제의 결론을 부정한 명제를 만들고
-만들어진 명제로 인해 가정 또는 공리 등이 모순되는 것을 증명하여
-결론을 부정하기 이전의 명제가 참임을 증명하는
-간접증명 방법입니다.
-때로는 간접증명 자체를 귀류법이라고 할 때도 있습니다.
2. 수학과 자연과학에서 자주 사용됩니다.
3. 귀류법은 원명제의 결론이 분할집합이어야 합니다.
1) 결론을 부정한 명제가 거짓이므로 원명제(=원래 명제)가 참이라는 논리이므로
원명제의 결론은 반드시 분할집합 구조여야 합니다.
2) 원명제의 결론이 무리수일 때, 실수 범위에서 무리수가 아닌 수 모두 유리수이므로
분할집합 구조라 할 수 있으므로, 결론의 부정을 “유리수”라하고 귀류법 적용이 가능합니다.
3 원명제의 결론이 음수일 때, 실수 범위에서 음수의 부정은 양수 또는 영이므로 귀류법을
올바르게 사용하려면 결론의 부정을 “양수”가 아닌 “양수 또는 영”으로 설정해야 합니다.
'● Documents for Learning' 카테고리의 다른 글
각의 이등분선의 성질 (0) | 2018.08.16 |
---|---|
필요조건과 충분조건 (0) | 2018.08.16 |
직각삼각형의 합동조건 (0) | 2018.08.14 |
복원추출과 비복원추출 (연속하여 뽑는 경우의 확률) (중등확률) (0) | 2018.08.06 |
명제 p이면 q이다 2018년 (0) | 2018.08.06 |