반응형 증명2 [이산수학] 1.6 증명의 소개 안녕하세요. 오랜만에 글을 쓰는데 거두절미하고 '증명의 소개'에 대해서 알아보겠습니다. 먼저 증명을 공부하기 전에 알아 두어야 할 용어들이 있습니다. 정리(theorem) : 참임을 보일 수 있는 하나의 진술 프로포지션(proposition) : 참임을 보일 수 있는 하나의 진술이지만 정리보다는 중요도가 낮음 공리(postulate) : 증명을 하지 않아도 참이라고 할 수 있는 진술 보조정리(lemma) : 증명하는데 도움이 되지만 덜 중요한 정리 계(corollary) : 증명된 정리로부터 직접적으로 귀결될 수 있는 정리 가설(conjecture) : 사람의 직감에 근거해서 참이라고 주장하는 문장. 만약 가설이 증명되면 가설은 정리가 됨. 거짓일 경우 정리가 될 수 없음 증명의 방법에는 여러가지 방법이.. 2023. 10. 11. [이산수학] 1.5 추론 규칙 증명... 정말... 하.... 증명 싫어요. 시작하겠습니다 여기서는 증명애 대하여 살펴 볼 건데 수학에서 증명이란 수학적 진술의 참을 입증하는 정당한 논증을 말합니다. 논증이란 명제들의 순열 입니다. 논증의 최종 명제를 빼고 나머지 모든 명제들은 전제라고 하고, 최종 명제를 결론이라 합니다. 전제가 모두 참일 때 결론이 참이면 그 논증의 형식은 정당하다고 할 수 있습니다. 명제 논리에 대한 추론 규칙들을 보겠습니다. 이 규칙들을 활용한 증명방법을 보여드리겠습니다. "It is not sunny this afternoon and it is colder than yesterday" "We will go swimming only if it is sunny" "If we do not go swimming, t.. 2019. 4. 11. 이전 1 다음 반응형
