반응형 이산수학2 [이산수학] 1.6 증명의 소개 안녕하세요. 오랜만에 글을 쓰는데 거두절미하고 '증명의 소개'에 대해서 알아보겠습니다. 먼저 증명을 공부하기 전에 알아 두어야 할 용어들이 있습니다. 정리(theorem) : 참임을 보일 수 있는 하나의 진술 프로포지션(proposition) : 참임을 보일 수 있는 하나의 진술이지만 정리보다는 중요도가 낮음 공리(postulate) : 증명을 하지 않아도 참이라고 할 수 있는 진술 보조정리(lemma) : 증명하는데 도움이 되지만 덜 중요한 정리 계(corollary) : 증명된 정리로부터 직접적으로 귀결될 수 있는 정리 가설(conjecture) : 사람의 직감에 근거해서 참이라고 주장하는 문장. 만약 가설이 증명되면 가설은 정리가 됨. 거짓일 경우 정리가 될 수 없음 증명의 방법에는 여러가지 방법이.. 2023. 10. 11. [이산수학] 1.1 명제 논리 이산수학입니다. 이 포스팅은 명제논리 입니다. 명제를 다루는 분야를 명제 논리라고 합니다. 일단 먼저 명제가 뭔지 알아야 겠죠. 명제란, 참 또는 거짓을 가릴 수 있는 문장 입니다. 명제의 진리값이 참이면 T, 거짓이면 F로 표현합니다. 예를 들어보겠습니다. 1. 2 + 3 = 1 2. 1 + 3 = 4 3. 대한민국의 수도는 서울이다. 여기서 2 와 3 은 참인 명제, 1 은 거짓인 명제 입니다. 또한 명제가 아닌 문장들을 보겠습니다. 1. 지금 몇 시야? 2. 슈퍼가서 콜라 좀 사와 3. x + 3 = 5 명령문과 의문문은 명제가 될 수 없기 때문에 1과 2는 명제가 될 수 없습니다. 또한 3 도 명제가 아닙니다. 하지만 만약 x = 2 라는 값이 주어진다면 명제가 될 수 있습니다. 여기서 x는 명제.. 2019. 3. 20. 이전 1 다음 반응형
