8. 이산수학 강의 2차시-4: 논리적 추론과 증명

안녕하세요! '추론'의 정점, 피크코더입니다. 오늘의 강의에서는 논리적 추론과 증명의 세계에 첫 발을 내디딜 예정입니다. 이 과정을 통해, 어떤 주장이나 명제가 왜 참인지를 논리적으로 이해하고 설명할 수 있는 방법을 배워보았어요. Ⅰ. 논리적 추론이란? 논리적 추론은 주어진 명제들로부터 새로운 명제를 도출하는 과정입니다. 이 과정은 우리가 일상생활이나 학문적 연구에서 '이러이러한 이유로, 따라서 ~이다'라는 결론을 내리는 데 필수적입니다. 수학적 증명에서는 이 논리적 추론을 사용하여 어떤 수학적 주장이 참임을 보이죠. Ⅱ. 수학적 증명의 방법들 직접 증명 논리의 순서대로 단계를 밟아 결론에 도달하는 방법입니다. 가장 직관적이고 이해하기 쉬운 증명 방식이에요. 1. 직접 증명 (Direct Proof) 설명: 직접 증명은 주장이 참임을 직접적으로 보여주는 방식입니다. 이 방법은 주어진 가정에서 시작하여 논리적 단계를 거쳐 결론에 이르기까지의 과정을 따릅니다. 예시: "홀수의 합은...

원문링크 : 8. 이산수학 강의 2차시-4: 논리적 추론과 증명