집합과 논리

1. 집합의 기본 개념

집합은 수학에서 가장 기본이 되는 개념으로, 일정한 조건을 만족하는 대상들의 모임을 의미한다. 집합은 주로 중괄호 {}를 사용하여 표현하며, 예를 들어 자연수의 집합은 {1, 2, 3, 4, 5, ...}로 나타낼 수 있다. 집합의 원소는 중복될 수 없으며 순서도 중요하지 않는다. 즉, {1, 2, 3}과 {3, 2, 1}은 동일한 집합이다. 집합의 원소를 포함하거나 포함하지 않는 관계는 포함관계(부분집합)으로 설명할 수 있는데, 만약 모든 원소가 어떤 집합 A에 속한다면 A는 그 집합의 상위 집합이 된다. 예를 들어, 자연수의 집합 N은 정수 전체 집합 Z의 부분집합이며, 정수 전체 집합 Z는 유리수 전체 집합 Q의 부분집합이다. 집합은 무한집합과 유한집합으로 구분할 수 있는데, 유한집합은 원소 개수가 명확히 정해진 집합이며, 예를 들어 {a, b, c}는 원소가 3개인 유한집합이다. 반면, 자연수 집합처럼 원소의 개수가 무한한 집합은 무한집합이다. 현재 인류의 자연수 개수는 2023년 기준 약 78억 명으로, 각 사람을 한 개의 원소로 본 집합은 78억개의 원소를 가진 유한집합이 된다. 집합에는 여러 연산이 있는데, 대표적으로 합집합, 교집합, 차집합, 그…