반응형 대우에 의한 증명1 [이산수학] 1.6 증명의 소개 안녕하세요. 오랜만에 글을 쓰는데 거두절미하고 '증명의 소개'에 대해서 알아보겠습니다. 먼저 증명을 공부하기 전에 알아 두어야 할 용어들이 있습니다. 정리(theorem) : 참임을 보일 수 있는 하나의 진술 프로포지션(proposition) : 참임을 보일 수 있는 하나의 진술이지만 정리보다는 중요도가 낮음 공리(postulate) : 증명을 하지 않아도 참이라고 할 수 있는 진술 보조정리(lemma) : 증명하는데 도움이 되지만 덜 중요한 정리 계(corollary) : 증명된 정리로부터 직접적으로 귀결될 수 있는 정리 가설(conjecture) : 사람의 직감에 근거해서 참이라고 주장하는 문장. 만약 가설이 증명되면 가설은 정리가 됨. 거짓일 경우 정리가 될 수 없음 증명의 방법에는 여러가지 방법이.. 2023. 10. 11. 이전 1 다음 반응형
