수학/집합론
집합론 - 차집합과 집합론의 규칙
안녕하세요. 지난 포스팅의 집합론 - 대우, 역, 그리고 부정에서는 명제의 대우, 역 그리고 부정을 구하는 방법에 대해서 알아보았습니다. 이때, 명제의 참/거짓을 증명하기 어려울 때 사용하는 방법이 대우명제를 통한 간접증명임도 설명하였습니다. 오늘은 차집합과 집합론과 관련된 몇 가지 규칙들을 설명드리도록 하겠습니다. 정의1. 차집합(Difference of two sets) 임의의 두 집합 $A$와 $B$가 주어졌을 때 $A$와 $B$의 차집합은 $A - B = \{x | x \in A \text{ and } x \notin B\}$이다. 설명 지금까지 저희는 두 개의 집합에 대한 3가지 연산(합집합, 교집합, 차집합)에 대해서 알아보았습니다. 그리고 각 연산 결과를 벤다이어그램으로 그려보면 위와 같은 ..