집합과 명제: 고1 수학의 핵심 기초, 수능까지 탄탄하게!

개요

안녕하세요, 수능 수학 전문가이자 교육 콘텐츠 작가 000입니다. 오늘은 고등학교 1학년 수학의 첫 단원, '집합과 명제'에 대해 심도 있게 다뤄볼 시간입니다. 이 단원은 단순히 고1 과정에서만 끝나는 것이 아니라, 앞으로 여러분이 배우게 될 함수, 확률과 통계, 미적분 등 모든 수학 개념을 이해하고 표현하는 데 필수적인 '수학의 언어'와 같습니다.

수능 수학에서 '집합과 명제' 단원이 단독으로 직접적인 고난도 문항으로 출제되는 경우는 많지 않습니다. 하지만 그 중요성은 결코 과소평가될 수 없습니다. 다른 단원의 문제에서 조건이나 상황을 '집합'의 형태로 제시하거나, 문제의 해결 과정을 '명제'의 논리로 전개해야 하는 경우가 빈번하기 때문입니다. 특히, 조건과 명제의 참/거짓 판별, 충분/필요조건, 증명 등의 개념은 수능에서 꾸준히 중요하게 다뤄지는 논리적 사고력의 기반이 됩니다.

이 글을 통해 집합과 명제의 기본 개념부터 심화 내용, 그리고 수능 대비 학습 전략까지 체계적으로 익혀서 탄탄한 수학 실력의 초석을 다지시길 바랍니다!

---

핵심 개념

1. 집합

집합은 특정한 조건에 따라 그 대상을 분명하게 알 수 있는 것들의 모임을 의미합니다. '분명하게 알 수 있는'이라는 조건이 중요합니다. 예를 들어, '잘생긴 사람들의 모임'은 주관적 판단에 따라 달라지므로 집합이 될 수 없지만, '우리 반에서 키가 170cm 이상인 학생들의 모임'은 명확한 기준이 있으므로 집합이 될 수 있습니다.

1) 집합의 표현 방법

• 원소나열법: 집합에 속하는 모든 원소를 중괄호 {} 안에 나열하는 방법입니다. 원소의 순서는 중요하지 않으며, 같은 원소는 한 번만 씁니다. (예: $A = \\{1, 2, 3\\}$)
• 조건제시법: 집합의 원소들이 가지는 공통된 성질이나 조건을 제시하여 집합을 나타내는 방법입니다. 중괄호 안에 '변수 $\\mid$ 변수의 조건' 형태로 씁니다. (예: $A = \\{x \\mid x는 10보다 작은 자연수\\}$)
• 벤 다이어그램: 집합의 원소들을 그림으로 나타내는 방법입니다. 직사각형은 전체집합을, 원이나 타원은 특정 집합을 나타냅니다. 시각적으로 집합 간의 관계를 파악하는 데 매우 유용합니다.

2) 원소와 집합의 관계 원소 $a$가 집합 $A$에 속할 때 $a \\in A$로 나타내고, 속하지 않을 때 $a \ otin A$로 나타냅니다.

3) 집합의 종류

• 유한집합: 원소의 개수가 유한한 집합 (예: $\\{1, 2, 3\\}$)
• 무한집합: 원소의 개수가 무한한 집합 (예: 자연수 전체의 집합)
• 공집합 ($\\emptyset$ 또는 $\\{\\}$): 원소가 하나도 없는 집합. 모든 집합의 부분집합입니다.
• 전체집합 ($U$): 주어진 상황에서 모든 집합을 포함하는 가장 큰 집합을 의미합니다.

4) 부분집합 집합 $A$의 모든 원소가 집합 $B$에 속할 때, $A$는 $B$의 부분집합이라고 하고 $A \\subset B$ 또는 $A \\subseteq B$로 나타냅니다.

• 모든 집합은 자기 자신의 부분집합입니다 ($A \\subset A$).
• 공집합은 모든 집합의 부분집합입니다 ($\\emptyset \\subset A$).
• 원소의 개수가 $n$개인 집합의 부분집합의 개수는 $2^n$개입니다.
• 진부분집합은 자기 자신을 제외한 부분집합을 의미하며, 개수는 $2^n - 1$개입니다.

5) 집합의 연산 두 집합 $A, B$와 전체집합 $U$에 대하여:

• 합집합 ($A \\cup B$): $A$에 속하거나 $B$에 속하는 모든 원소들의 집합. $A \\cup B = \\{x \\mid x \\in A 또는 x \\in B\\}$
• 교집합 ($A \\cap B$): $A$와 $B$에 공통으로 속하는 원소들의 집합. $A \\cap B = \\{x \\mid x \\in A 이고 x \\in B\\}$
• 여집합 ($A^c$): $U$에는 속하지만 $A$에는 속하지 않는 원소들의 집합. $A^c = \\{x \\mid x \\in U 이고 x \ otin A\\}$
• 차집합 ($A - B$): $A$에는 속하지만 $B$에는 속하지 않는 원소들의 집합. $A - B = \\{x \\mid x \\in A 이고 x \ otin B\\} = A \\cap B^c$

드 모르간의 법칙: 집합 연산에서 매우 중요하게 사용되는 법칙입니다. $(A \\cup B)^c = A^c \\cap B^c$ $(A \\cap B)^c = A^c \\cup B^c$

6) 유한집합의 원소의 개수 두 집합 $A, B$에 대하여 합집합의 원소 개수는 다음과 같습니다. $n(A \\cup B) = n(A) + n(B) - n(A \\cap B)$ 세 집합 $A, B, C$에 대하여는 다음과 같습니다. $n(A \\cup B \\cup C) = n(A) + n(B) + n(C) - n(A \\cap B) - n(B \\cap C) - n(C \\cap A) + n(A \\cap B \\cap C)$

예제: 전체집합 $U = \\{1, 2, 3, 4, 5, 6, 7\\}$의 두 부분집합 $A = \\{1, 2, 3, 4\\}$, $B = \\{3, 4, 5, 6\\}$에 대하여 $(A^c \\cup B)^c$를 구하시오.

풀이: 먼저 드 모르간의 법칙을 이용하여 식을 간단히 합니다. $(A^c \\cup B)^c = (A^c)^c \\cap B^c = A \\cap B^c$

이제 각 집합을 구합니다. $A = \\{1, 2, 3, 4\\}$ $B^c = U - B = \\{1, 2, 7\\}$

$A \\cap B^c = \\{1, 2, 3, 4\\} \\cap \\{1, 2, 7\\} = \\{1, 2\\}$

따라서 $(A^c \\cup B)^c = \\{1, 2\\}$ 입니다.

2. 명제

명제는 참 또는 거짓을 명확하게 판별할 수 있는 문장이나 식을 의미합니다. 예를 들어, '대한민국의 수도는 서울이다'는 참인 명제이고, '3은 짝수이다'는 거짓인 명제입니다. '내일은 비가 올 것이다'와 같이 참 거짓을 단정할 수 없는 것은 명제가 아닙니다.

1) 조건과 진리집합

• 조건: 변수의 값에 따라 참 또는 거짓이 달라지는 문장이나 식을 조건이라고 합니다. (예: '$x$는 짝수이다' - $x=2$이면 참, $x=3$이면 거짓)
• 진리집합: 어떤 조건을 참이 되게 하는 모든 원소들의 집합을 그 조건의 진리집합이라고 합니다. 조건 $p(x)$의 진리집합을 보통 $P$로 나타냅니다. (예: 전체집합 $U=\\{1, 2, 3, 4\\}$에서 조건 '$x$는 짝수이다'의 진리집합은 $P=\\{2, 4\\}$)

2) 명제의 부정 명제 $p$의 부정은 '~$p$' (not $p$)로 나타내며, $p$가 참이면 ~$p$는 거짓이고, $p$가 거짓이면 ~$p$는 참입니다. 조건 $p(x)$의 부정은 ~$p(x)$입니다. 조건 $p(x)$의 진리집합이 $P$일 때, ~$p(x)$의 진리집합은 $P^c$입니다.

'모든'과 '어떤'의 부정: '모든 $x$에 대하여 $p(x)$이다'의 부정은 '어떤 $x$에 대하여 ~$p(x)$이다' 입니다. '어떤 $x$에 대하여 $p(x)$이다'의 부정은 '모든 $x$에 대하여 ~$p(x)$이다' 입니다.

3) 조건명제 '이면 이다' 두 조건 $p, q$로 이루어진 명제 '$p$이면 $q$이다'를 $p \ o q$로 나타냅니다. 여기서 $p$를 가정, $q$를 결론이라고 합니다. 명제 $p \ o q$는 가정이 참이고 결론이 거짓일 때에만 거짓이며, 그 외의 모든 경우에는 참입니다. 진리집합으로 표현하면, $p \ o q$가 참이라는 것은 조건 $p$의 진리집합 $P$가 조건 $q$의 진리집합 $Q$의 부분집합일 때 ($P \\subset Q$)입니다.

4) 역, 이, 대우 원명제 $p \ o q$에 대하여 다음과 같은 명제들을 정의할 수 있습니다.

• 역: $q \ o p$
• 이: $\\sim p \ o \\sim q$
• 대우: $\\sim q \ o \\sim p$

원명제와 대우명제는 항상 진리값이 같습니다. 즉, $p \ o q$와 $\\sim q \ o \\sim p$는 동치입니다. 따라서 원명제의 참/거짓을 판별하기 어려울 때 대우명제의 참/거짓을 이용할 수 있습니다. (증명에서 매우 중요하게 활용됩니다.)

5) 충분조건, 필요조건, 필요충분조건 명제 $p \ o q$가 참일 때 ($P \\subset Q$일 때):

• $p$는 $q$이기 위한 충분조건이라고 합니다. ($p$이면 $q$가 되기에 '충분'하다.)
• $q$는 $p$이기 위한 필요조건이라고 합니다. ($q$가 아니면 $p$도 아니므로 $q$는 $p$가 되기 위해 '필요'하다.)

명제 $p \ o q$와 $q \ o p$가 모두 참일 때 ($P=Q$일 때):

• $p$는 $q$이기 위한 필요충분조건이라고 합니다. ($p \\leftrightarrow q$)

6) 명제의 증명 수능에서 직접적인 증명 문제가 출제되는 경우는 드물지만, 증명 과정에 사용되는 논리적 사고나 특정 증명 방법을 이해하는 것은 매우 중요합니다.

• 직접 증명법: 가정에서 출발하여 논리적 추론을 통해 결론을 이끌어내는 방법입니다.
• 귀류법: 결론을 부정(가정)했을 때 모순이 발생함을 보여 원명제가 참임을 증명하는 방법입니다. ($\\sqrt{2}$가 무리수임을 증명할 때 사용)
• 대우를 이용한 증명: 원명제가 참임을 대우명제가 참임을 보여 증명하는 방법입니다.

7) 절대부등식 문자에 어떤 실수를 대입해도 항상 성립하는 부등식을 절대부등식이라고 합니다. 고1 과정에서는 다음 두 가지 절대부등식이 중요하게 다뤄집니다.

산술-기하 평균 부등식: $a>0, b>0$일 때, $\\frac{a+b}{2} \\ge \\sqrt{ab}$ (등호는 $a=b$일 때 성립) 양수 조건에서 합의 최솟값 또는 곱의 최댓값을 구할 때 유용합니다.

코시-슈바르츠 부등식: $a, b, x, y$가 실수일 때, $(a^2+b^2)(x^2+y^2) \\ge (ax+by)^2$ (등호는 $ay=bx$일 때 성립) 합의 제곱이나 두 항의 곱의 최댓값/최솟값을 구할 때 사용됩니다.

예제: 다음 명제 중 참인 것을 고르시오. ① $x=2$ 이면 $x^2=4$ 이다. ② $x^2=4$ 이면 $x=2$ 이다. ③ $x$가 짝수이면 $x^2$는 짝수이다.

풀이: ① $x=2$의 진리집합 $P=\\{2\\}$, $x^2=4$의 진리집합 $Q=\\left\\{-2, 2\\right\\}$. $P \\subset Q$이므로 참인 명제입니다. ② $x^2=4$의 진리집합 $P=\\left\\{-2, 2\\right\\}$, $x=2$의 진리집합 $Q=\\{2\\}$. $P \ ot\\subset Q$이므로 거짓인 명제입니다. (반례: $x=-2$) ③ $x$가 짝수이면 $x=2k$ (단, $k$는 정수)로 나타낼 수 있습니다. $x^2 = (2k)^2 = 4k^2 = 2(2k^2)$이므로 $x^2$도 짝수입니다. 따라서 참인 명제입니다.

---

주요 공식 정리

| 공식 | 설명 | |------|------| | $A \\cup B = \\{x \\mid x \\in A \text{ 또는 } x \\in B\\}$ | 합집합 | | $A \\cap B = \\{x \\mid x \\in A \text{ 이고 } x \\in B\\}$ | 교집합 | | $A^c = \\{x \\mid x \\in U \text{ 이고 } x \ otin A\\}$ | 여집합 | | $A - B = A \\cap B^c$ | 차집합 | | $(A \\cup B)^c = A^c \\cap B^c$ | 드 모르간 법칙 (합집합) | | $(A \\cap B)^c = A^c \\cup B^c$ | 드 모르간 법칙 (교집합) | | $n(A \\cup B) = n(A) + n(B) - n(A \\cap B)$ | 합집합의 원소의 개수 | | $p \ o q$ 참 $\iff P \\subset Q$ | 조건명제의 참 조건 | | $p \ o q$ 와 $\\sim q \ o \\sim p$ | 원명제와 대우명제는 동치 | | $P \\subset Q \\implies p$는 $q$이기 위한 충분조건 | 충분조건 | | $Q \\subset P \\implies p$는 $q$이기 위한 필요조건 | 필요조건 | | $P=Q \\implies p$는 $q$이기 위한 필요충분조건 | 필요충분조건 | | $\\frac{a+b}{2} \\ge \\sqrt{ab}$ (단, $a,b>0$) | 산술-기하 평균 부등식 (등호는 $a=b$일 때 성립) | | $(a^2+b^2)(x^2+y^2) \\ge (ax+by)^2$ | 코시-슈바르츠 부등식 (등호는 $ay=bx$일 때 성립) |

---

자주 나오는 유형

유형 1: 집합의 연산과 원소 개수 활용

출제 패턴: 벤 다이어그램을 이용하여 집합 연산의 결과를 추론하거나, 원소의 개수 공식을 활용하여 특정 집합의 원소 개수를 구하는 문제가 자주 출제됩니다. 특히, 2개 또는 3개의 집합에 대해 각 영역의 원소 개수를 파악하고 전체 또는 특정 부분의 원소 개수의 최댓값이나 최솟값을 묻는 문제가 심화 문제로 자주 등장합니다.

접근 방법:

1. 벤 다이어그램 시각화: 문제의 조건을 벤 다이어그램으로 나타내어 집합 간의 관계를 시각적으로 파악하는 것이 가장 중요합니다. 각 영역에 미지수를 설정하여 원소 개수를 표현할 수 있습니다.
2. 공식 활용: $n(A \\cup B) = n(A) + n(B) - n(A \\cap B)$와 같은 원소 개수 공식을 적절히 활용하여 방정식을 세우거나 관계식을 파악합니다. 3개 집합의 경우에도 해당 공식을 이용합니다.
3. 최대/최소 문제: 원소 개수의 최댓값이나 최솟값을 구하는 문제는 보통 겹치는 부분($A \\cap B$)의 크기가 가장 크거나 작을 때 발생합니다. 벤 다이어그램을 활용하여 겹치는 부분을 조절하며 한계 상황(예: 한 집합이 다른 집합의 부분집합이 되는 경우, 겹치는 부분이 0인 경우)을 고려하여 해결합니다.

유형 2: 명제의 참/거짓 판별 및 조건 분석

출제 패턴: 주어진 명제가 참인지 거짓인지를 판별하고, 거짓일 경우 반례를 찾는 문제. 또는 'p는 q이기 위한 충분조건이지만 필요조건은 아닌 것'과 같이 조건들 사이의 관계(충분, 필요, 필요충분)를 묻는 문제가 자주 출제됩니다. '모든' 또는 '어떤'을 포함하는 명제의 참/거짓 판별도 중요합니다.

접근 방법:

1. 진리집합 이용: 명제의 참/거짓을 판별할 때는 각 조건의 진리집합을 구하고, 진리집합의 포함 관계($P \\subset Q$)를 확인하는 것이 가장 효과적입니다. 만약 포함 관계가 성립하지 않으면 거짓이며, 이때 반례는 $P$에 속하면서 $Q$에 속하지 않는 원소가 됩니다.
2. 역, 이, 대우: 원명제의 참/거짓 판별이 어려울 때는 대우명제를 이용하여 참/거짓을 판별하는 연습을 해야 합니다. 이는 증명 문제에서도 핵심적인 방법입니다.
3. 충분/필요/필요충분 조건: 이 개념을 묻는 문제는 화살표 방향으로 기억하면 편리합니다. $p \\implies q$가 참일 때, $p$는 충분조건, $q$는 필요조건입니다. 즉, 화살표를 '준다(충분)' 또는 '받는다(필요)'로 생각하면 쉽습니다. 진리집합의 포함 관계로 생각하면 $P \\subset Q$ 일 때 $p$는 충분, $q$는 필요조건입니다.
4. '모든', '어떤' 명제: '모든'이 들어간 명제는 단 하나의 반례라도 존재하면 거짓입니다. '어떤'이 들어간 명제는 단 하나의 참인 경우라도 존재하면 참입니다. 이들의 부정 관계도 함께 익혀두세요.

---

연습문제

연습 1 (기본)

전체집합 $U = \\{x \\mid x는 10 이하의 자연수\\}$의 두 부분집합 $A = \\{x \\mid x는 짝수\\}$, $B = \\{x \\mid x는 5의 약수\\}$에 대하여 집합 $(A \\cup B)^c$의 원소의 합을 구하시오.

(1) 15 (2) 20 (3) 25 (4) 30 (5) 35

정답 및 풀이 보기

정답: (3)

풀이:

1. 전체집합 $U$를 원소나열법으로 나타냅니다. $U = \\{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\\}$
2. 집합 $A$와 $B$를 원소나열법으로 나타냅니다. $A = \\{2, 4, 6, 8, 10\\}$ $B = \\{1, 5\\}$
3. $A \\cup B$를 구합니다. $A \\cup B = \\{1, 2, 4, 5, 6, 8, 10\\}$
4. $(A \\cup B)^c$는 $U$에서 $A \\cup B$의 원소를 제외한 집합입니다. $(A \\cup B)^c = \\{3, 7, 9\\}$
5. $(A \\cup B)^c$의 원소의 합을 구합니다. $3 + 7 + 9 = 19$

오답 풀이 수정: (A ∪ B)c = {3, 7, 9} 의 원소의 합은 $3 + 7 + 9 = 19$ 이므로, 주어진 선택지 중 정답이 없습니다. 문제 또는 선택지에 오류가 있는 것으로 판단됩니다. 만약 선택지 (3) 25가 정답이 되려면, 원소의 합이 25가 되어야 합니다. 하지만 현재 문제와 풀이로는 19가 정확한 답입니다. 이 문제에서는 원소의 합이 19임을 정확히 이해하는 것이 중요합니다.

다시 확인: $U = \\{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\\}$ $A = \\{2, 4, 6, 8, 10\\}$ $B = \\{1, 5\\}$ $A \\cup B = \\{1, 2, 4, 5, 6, 8, 10\\}$ $(A \\cup B)^c = U - (A \\cup B) = \\{3, 7, 9\\}$ 원소의 합은 $3 + 7 + 9 = 19$.

주어진 선택지에 19가 없으므로 문제 오류입니다. 만약 이 문제의 의도가 특정 선택지로 유도하는 것이라면, 문제의 설정을 변경해야 합니다. 여기서는 정확한 풀이 과정을 제시하는 데 집중하겠습니다. 정답은 19입니다.

연습 2 (심화)

두 실수 $x, y$에 대한 세 조건 $p, q, r$이 다음과 같다. $p: x^2 + y^2 = 0$ $q: |x| + |y| = 0$ $r: x=0$ 이고 $y=0$

다음 중 옳은 설명을 모두 고르시오.

ㄱ. $p$는 $q$이기 위한 충분조건이다. ㄴ. $q$는 $r$이기 위한 필요조건이다. ㄷ. $p$는 $r$이기 위한 필요충분조건이다.

정답 및 풀이 보기

정답: ㄱ, ㄷ

풀이: 각 조건의 진리집합을 파악하여 조건들 사이의 포함 관계를 확인합니다.

• 조건 $p: x^2 + y^2 = 0$ 실수 $x, y$에 대하여 $x^2 \\ge 0$, $y^2 \\ge 0$이므로 $x^2 + y^2 = 0$이 되려면 $x^2=0$이고 $y^2=0$이어야 합니다. 즉, $x=0$이고 $y=0$입니다. 따라서 조건 $p$의 진리집합 $P = \\{(x, y) \\mid x=0, y=0\\}$

• 조건 $q: |x| + |y| = 0$ 실수 $x, y$에 대하여 $|x| \\ge 0$, $|y| \\ge 0$이므로 $|x| + |y| = 0$이 되려면 $|x|=0$이고 $|y|=0$이어야 합니다. 즉, $x=0$이고 $y=0$입니다. 따라서 조건 $q$의 진리집합 $Q = \\{(x, y) \\mid x=0, y=0\\}$

• 조건 $r: x=0$ 이고 $y=0$ 조건 $r$의 진리집합 $R = \\{(x, y) \\mid x=0, y=0\\}$

이제 각 보기의 참/거짓을 판별합니다.

ㄱ. $p$는 $q$이기 위한 충분조건이다. ($p \ o q$가 참인가?) $P = \\{(x, y) \\mid x=0, y=0\\}$, $Q = \\{(x, y) \\mid x=0, y=0\\}$ $P \\subset Q$가 성립합니다. ($P=Q$이므로 부분집합 관계도 성립) 따라서 $p$는 $q$이기 위한 충분조건입니다. (참)

ㄴ. $q$는 $r$이기 위한 필요조건이다. ($r \ o q$가 참인가?) $R = \\{(x, y) \\mid x=0, y=0\\}$, $Q = \\{(x, y) \\mid x=0, y=0\\}$ $R \\subset Q$가 성립합니다. 즉, $r \ o q$가 참이므로 $r$은 $q$이기 위한 충분조건입니다. (또는 $q$는 $r$이기 위한 필요조건) 따라서 ㄴ은 참인 설명입니다.

ㄷ. $p$는 $r$이기 위한 필요충분조건이다. ($p \\leftrightarrow r$가 참인가?) $P = \\{(x, y) \\mid x=0, y=0\\}$, $R = \\{(x, y) \\mid x=0, y=0\\}$ $P=R$이므로 $p$는 $r$이기 위한 필요충분조건입니다. (참)

결론: ㄱ, ㄴ, ㄷ 모두 옳습니다.

재확인: ㄴ에서 'q는 r이기 위한 필요조건이다'는 $r \ o q$가 참일 때 성립합니다. $r$의 진리집합 $R = \\{(x, y) \\mid x=0, y=0\\}$이고, $q$의 진리집합 $Q = \\{(x, y) \\mid x=0, y=0\\}$이므로 $R \\subset Q$가 성립합니다. 따라서 $r \ o q$는 참이고, $q$는 $r$이기 위한 필요조건이 맞습니다. 처음 풀이에서 ㄴ을 거짓이라고 잘못 생각했습니다.

최종 정답: ㄱ, ㄴ, ㄷ

연습 3 (도전)

어느 고등학교 학생 100명을 대상으로 여름방학 중 영화 동아리와 독서 동아리 가입 여부를 조사하였더니, 영화 동아리에 가입한 학생은 50명, 독서 동아리에 가입한 학생은 42명이었다. 두 동아리 중 어느 동아리에도 가입하지 않은 학생은 20명일 때, 영화 동아리에만 가입한 학생 수의 최댓값과 최솟값의 합을 구하시오.

정답 및 풀이 보기

정답: 64

풀이: 전체 학생 수를 $U=100$명이라고 하고, 영화 동아리를 $A$, 독서 동아리를 $B$라고 합시다. 주어진 조건은 다음과 같습니다. $n(U) = 100$ $n(A) = 50$ $n(B) = 42$ 어느 동아리에도 가입하지 않은 학생은 20명이므로 $n((A \\cup B)^c) = 20$입니다.

먼저 $n(A \\cup B)$를 구합니다. $n(A \\cup B) = n(U) - n((A \\cup B)^c) = 100 - 20 = 80$명.

이제 합집합의 원소 개수 공식을 이용하여 $n(A \\cap B)$를 구합니다. $n(A \\cup B) = n(A) + n(B) - n(A \\cap B)$ $80 = 50 + 42 - n(A \\cap B)$ $80 = 92 - n(A \\cap B)$ $n(A \\cap B) = 92 - 80 = 12$명.

우리가 구해야 할 것은 영화 동아리에만 가입한 학생 수, 즉 $n(A - B)$의 최댓값과 최솟값입니다. $n(A - B) = n(A) - n(A \\cap B) = 50 - n(A \\cap B)$ 따라서 $n(A - B)$의 최댓값과 최솟값은 $n(A \\cap B)$의 최솟값과 최댓값에 의해 결정됩니다.

1. $n(A \\cap B)$의 범위 구하기

• 최솟값: $A \\cap B$는 $A$와 $B$의 공통 부분이므로, 겹치는 부분이 가장 적을 때의 최솟값을 찾습니다. $n(A \\cup B) = n(A) + n(B) - n(A \\cap B)$에서 $n(A \\cap B) = n(A) + n(B) - n(A \\cup B)$입니다. $n(A \\cap B) = 50 + 42 - 80 = 12$명. (이는 $n(A \\cup B)$가 최대 80명일 때 이미 결정된 값입니다. 즉, $n(A \\cap B)$는 최소 12명은 겹쳐야 합니다.) $\therefore n(A \\cap B) \\ge 12$

• 최댓값: $A \\cap B$는 $A$와 $B$의 공통 부분이므로, 한 집합이 다른 집합에 포함될 때 최댓값을 가집니다. 즉, $n(A \\cap B) \\le \\min(n(A), n(B))$ 입니다. $n(A \\cap B) \\le \\min(50, 42) = 42$명. $\therefore n(A \\cap B) \\le 42$

따라서 $12 \\le n(A \\cap B) \\le 42$ 입니다.

2. 영화 동아리에만 가입한 학생 수 $n(A - B)$의 최댓값과 최솟값 $n(A - B) = n(A) - n(A \\cap B) = 50 - n(A \\cap B)$

• 최댓값: $n(A - B)$가 최대가 되려면 $n(A \\cap B)$가 최소여야 합니다. $n(A - B)_{max} = 50 - n(A \\cap B)_{min} = 50 - 12 = 38$명.

• 최솟값: $n(A - B)$가 최소가 되려면 $n(A \\cap B)$가 최대여야 합니다. $n(A - B)_{min} = 50 - n(A \\cap B)_{max} = 50 - 42 = 8$명.

3. 최댓값과 최솟값의 합 최댓값 $38$명과 최솟값 $8$명의 합은 $38 + 8 = 46$명입니다.

다시 확인: 문제에서 주어진 정보로 $n(A \\cap B)$가 고정되어 있습니다. 즉 $n(A \\cup B) = 80$이고, $n(A)=50, n(B)=42$이므로 $n(A \\cap B) = 50+42-80 = 12$입니다. 이 값은 변하지 않습니다. 이 경우, 영화 동아리에만 가입한 학생 수 $n(A-B) = n(A) - n(A \\cap B) = 50 - 12 = 38$명으로 고정된 값이 됩니다.

왜 최댓값과 최솟값을 구하라고 했을까? 문제가 '두 동아리 중 어느 동아리에도 가입하지 않은 학생은 20명이다'라고 명확히 주어졌기 때문에 $n(A \\cup B)$가 80으로 고정됩니다. 이 때문에 $n(A \\cap B)$도 12로 고정됩니다. 즉, $n(A-B)$의 최댓값과 최솟값은 모두 38이 됩니다.

문제 의도 재해석: 만약 $n(A \\cup B)$가 고정되지 않고, $n((A \\cup B)^c) \\ge 20$ (최소 20명은 가입 안함)과 같이 부등식으로 주어졌다면 최댓값/최솟값이 존재할 수 있습니다. 하지만 현재 문제는 $n((A \\cup B)^c)=20$으로 정확히 주어졌습니다.

오류 가능성: 문제가 의도한 바는 $n(U)$가 100이라는 조건만 있고, 어느 동아리에도 가입하지 않은 학생 수가 정확히 20명이라고 주어지지 않은 경우일 수 있습니다. 예를 들어, $n(A \cup B)$의 범위가 변동하는 경우를 묻는 문제.

하지만 주어진 문제 그대로 풀면 $n(A-B)$는 고정값 38입니다. 만약 이 문제가 출제되었을 때, 고정된 값이 나오더라도 그 자체가 최댓값이자 최솟값이 될 수 있습니다. (즉, Max = Min = 38) 이 경우 최댓값과 최솟값의 합은 $38+38 = 76$이 됩니다.

선택지와의 괴리: 선택지 (3) 25, (5) 35, (4) 30 등으로 보아 정답 46 또는 76은 없습니다.

가정 변경 후 재풀이 (문제의 의도를 추측): 만약