본문 바로가기

반응형
SMALL

이산수학

(2)
증명(직접 증명과 반례, 기타 증명법, 수학적 귀납법) 직접 증명과 반례 증명의 이해 공리(Axiom) 별도의 증명 없이 항상 참으로 이용되는 명제 예) 어떤 자연수 n에 대하여, n + 1 이 존재한다. 정의(Definition) 용어 또는 기호의 의미를 확실하게 규정한 문장이나 식 예) n! = n X (n-1) X … 3 X 2 X 1 정리(Theorem) 공리와 정의를 통해 참으로 확인된 명제 예) 피타고라스의 정리 증명(Proof) 명제가 진릿값을 확인하는 과정 직접증명 조건명제 p → q를 증명하기 위해 p를 참이라 가정한 상태에서 q도 참임을 증명하는 방법이다. 예시) 짝수와 홀수를 더하면 홀수가 됨을 보여라 p : 숫자 m은 짝수이고 숫자 n은 홀수이다. q : m + n은 홀수이다. 증명) 정의에 의하여 m은 2로 나누어 떨어지는 수고, n은..
집합과 논리(집합, 명제, 논리) 집합 여러 원소들(element)의 모임으로 중복된 원소를 가지지 않는다. 집합의 표기법 원소나열법 : 집합에 속하는 원소들을 일일이 나열하는 방법이다. 예시) A = {1, 2, 3, 4, 5} 조건제시법 : 집합에 포함되는 원소들의 성질을 조건식으로 제시하는 방법이다. 예시) A = {𝑥 | 0 < 𝑥 ≤ 10, 𝑥는 자연수 } 유한집합 / 무한집합 집합 A에 속하는 원소의 개수를 |A|로 표현하며, 원소가 유한개인 집합을 유한집합, 원소가 무한개인 집합을 무한집합이라고 한다. 집합의 종류 전체 집합 : 논의 대상이 되는 원소 전체를 포함하는 집합으로, 보통 알파벳 U로 표기한다. 공집합 : 원소를 하나도 가지지 않는 집합으로 ∅ 또는 { }로 표기한다. 집합의 포함관계 집합 A, B에 속하는 원소가..

반응형
LIST