문제 은행 · 기초 수학 · 공통수학2 · 집합과 명제

집합의 연산

먼저 혼자 풀어 보고, 풀이로 확인한 다음, 아래 「한 번 더」 문제로 이어서 연습하세요.

Sundstrom, Mathematical Reasoning · 5.3절 · 6a번영어 원문

Let AA, BB, and CC be subsets of some universal set UU. Prove or disprove each of the following:

(A∩B)−C=(A−C)∩(B−C)\left( A \cap B \right) - C = \left( A - C \right) \cap \left( B - C \right)

정답·풀이 보기 (영어 원문)

Using the algebra of sets, we see that

(A−C)∩(B−C)=(A∩Cc)∩(B∩Cc)=(A∩B)∩(Cc∩Cc)=(A∩B)∩Cc=(A∩B)−C\begin{aligned}(A - C) \cap (B - C) & = (A \cap C^c) \cap (B \cap C^c) \\ & = (A \cap B) \cap (C^c \cap C^c) \\ & = (A \cap B) \cap C^c \\ & = (A \cap B) - C\end{aligned}

.

한 번 더 — 비슷한 문제Sundstrom, Mathematical Reasoning · 5.3절 · 9a번영어 원문

Let AA and BB be subsets of some universal set UU.

Prove that AA and B−AB - A are disjoint sets.

다 풀었으면 정답 확인

Use a proof by contradiction. Assume the sets are not disjoint and let x∈A∩(B−A)x \in A \cap ( B - A ). Then x∈Ax \in A and x∈B−Ax \in B - A, which implies that x∉Ax \notin A.

이 문제로 이어서 풀기
# 집합의 연산증명·논술자동 분류

「집합의 연산」 문제 목록으로