반응형
간접증명법
-
[이산수학 - 3강] 증명Knowledge/Math 2020. 5. 20. 22:49
한국방송통신대학교 이산수학 강의 3강을 듣고 공부한 내용을 정리한 포스팅입니다. 3강의 학습목표 다양한 증명방법의 종류를 이해하고 때에 따라 적절한 증명방법을 선택할 수 있다. 기본단계와 귀납가정을 설계하고 귀답단계를 통해 주어진 명제가 타당함을 증명할 수 있다. 직접적으로 명제를 증명하기 어려울 때는 증명하기 쉬운 형태로 주어진 명제를 변경할 수 있다. 전수증명, 조합적 증명법, 컴퓨터를 이용한 증명방법을 이해하고 상황에 따라 증명방법을 사용할 수 있다. - 증명의 기본 증명은 어떤 사실의 타당성을 입증하기 위해 사용된다. 주로 "P이면 Q이다", 즉 '전제가 참이면 결론도 참' 이라는 형식을 따르게 되는데 이때 전제로 사용되는 P가 참임을 증명하기 위해서는 다른 전제의 도움이 필요하다. 이렇게 계속 ..