함께 배우는 수업 · 수학

집합과 명제, 필요충분조건

명확한 기준에 따른 원소들의 모임인 집합의 연산(차집합·드 모르간 법칙)과 참·거짓을 판별하는 명제의 역·대우, 그리고 필요조건·충분조건의 진리집합 포함 관계를 정복합니다.

이 수업에서 해 볼 일

집합 연산과 명제의 반례를 구별한다

먼저 알면 좋은 것: 약수와 배수 및 수 체계 · 부등식의 영역과 수직선 · 기초 논리적 추론

오늘의 목표

가입 없이 시작할 수 있어요. 설명을 읽고, 함께 연습한 뒤, 처음 보는 문제에서 직접 확인합니다.

판단 과정과 비교 사례

합집합은 적어도 한 집합에 속한 원소를, 교집합은 양쪽에 모두 속한 원소를 모은다. 중복 원소는 집합에 한 번만 적는다.여집합은 전체집합 중 해당 집합에 속하지 않는 부분이다. 전체집합을 확인하지 않고 여집합의 원소를 마음대로 추가하지 않는다.명제의 역은 조건과 결론을 바꾼다. 모든 대상에 대한 명제가 거짓임을 보이려면 조건은 만족하지만 결론을 만족하지 않는 반례 하나면 충분하다.

1. 개념 정의와 직관적 원리: 집합과 원소, 부분집합의 개수 공식

그 대상을 객관적이고 명확하게 구분할 수 있는 모임을 집합(Set)이라 하고, 집합을 이루는 대상 하나하나를 원소(Element)라고 합니다. ("키가 큰 학생들의 모임"은 기준이 주관적이므로 집합이 아닙니다!) - 원소 기호( $\in$ ) vs 부분집합 기호( $\subset$ ): 원소

a

가 집합

A

에 속할 때는 삼지창 기호 $a \in A$ 를 쓰고, 집합

A

의 모든 원소가 집합

B

에 속할 때는 두 집합 사이에 이지창 기호 $A \subset B$ 를 씁니다. (특히 공집합

\emptyset

은 모든 집합의 부분집합입니다:

\emptyset \subset A

.) 부분집합의 개수 공식 ( $2^n$ 의 원리): 원소가

n

개인 집합

A = \{a_1, a_2, \dots, a_n\}

의 부분집합을 만들 때, 각 원소마다 부분집합에 '넣을지( $\text{O}$ )' 또는 '넣지 않을지( $\text{X}$ )' $2$ 가지 선택권이 있습니다. 따라서: - 부분집합의 총개수:

2 \times 2 \times \cdots \times 2 = \mathbf{2^n}

개 (진부분집합의 개수는 자기 자신을 뺀

2^n - 1

개) - 특정 원소

k

개를 반드시 포함(또는 반드시 제외)하는 부분집합의 개수: 그

k

개의 원소는 선택권이 1가지로 고정되므로 지수에서

k

를 뺀 $2^{n-k}$ 개입니다!🎯 부분집합 개수 공식 만능 열쇠: 특정 원소 p개는 반드시 포함하고, 특정 원소 q개는 포함하지 않는 부분집합의 개수는 둘 다 선택권이 박탈된 원소들이므로 전체 원소 수 n에서 (p + q)를 모두 뺀 '2^(n - p - q)' 개입니다!

2. 핵심 공식 유도 및 성질: 차집합 변환 공식, 드 모르간 법칙과 명제의 대우

1) 집합의 연산과 2대 필수 변환 공식: 합집합(

A \cup B

), 교집합(

A \cap B

), 여집합(

A^c = U - A

)에 대하여 복잡한 집합 식을 간단히 정리할 때 가장 많이 쓰이는 두 공식입니다: - 차집합의 교집합 변환 공식 (별표 5개):

A - B = A \cap B^c \quad (\text{빼기 기호는 '교집합 + 뒤집합의 여집합'으로 바뀐다!})

- 드 모르간의 법칙 (De Morgan's Laws): 괄호 밖의 여집합

c

를 분배하면 안쪽의 합집합과 교집합이 반대로 뒤집힙니다:

(A \cup B)^c = A^c \cap B^c, \qquad (A \cap B)^c = A^c \cup B^c

- 유한집합의 원소의 개수:

n(A \cup B) = n(A) + n(B) - n(A \cap B)

2) 명제 $p \to q$ 의 역·대우와 필요조건·충분조건: - 명제

p \to q

에 대하여 가정과 결론을 바꾼

q \to p

를 역(Converse)이라 하고, 가정과 결론을 모두 부정하여 바꾼 $\sim q \to \sim p$ 를 대우(Contrapositive)라고 합니다. 원래 명제와 그 대우 명제는 참·거짓이 언제나 100% 일치합니다! - 조건

p, q

의 진리집합을 각각

P, Q

라 할 때 $p \to q$ 가 참 $\iff P \subset Q$ 이며: - 화살표를 쏘는 작은 집합 $p$ 는

q

이기 위한 충분조건(Sufficient Condition) - 화살표를 맞는 큰 집합 $q$ 는

p

이기 위한 필요조건(Necessary Condition) -

P = Q

(

p \leftrightarrow q

)이면 필요충분조건입니다.

예제로 살펴보기

전체집합 U의 두 부분집합 A, B에 대하여 n(U) = 40, n(A) = 22, n(B) = 18, n(A^c ∩ B^c) = 7 일 때, n(A - B)의 값을 구하고, 실수 x에 대하여 조건 p: |x - 1| ≤ 2 가 조건 q: -2 ≤ x ≤ 5 이기 위한 무슨 조건인지 판별하시오.

1) [집합의 원소 개수]: 드 모르간 법칙에 의해 A^c ∩ B^c = (A ∪ B)^c 입니다. 따라서 n((A ∪ B)^c) = n(U) - n(A ∪ B) = 40 - n(A ∪ B) = 7 이므로 n(A ∪ B) = 33 입니다. n(A - B) = n(A ∪ B) - n(B) = 33 - 18 = 15 입니다. 2) [필요·충분조건 판별]: 조건 p의 부등식을 풀면 -2 ≤ x - 1 ≤ 2 → 진리집합 P = {x | -1 ≤ x ≤ 3} 입니다. 진리집합 Q = {x | -2 ≤ x ≤ 5} 이므로 P ⊂ Q (P가 Q에 쏙 포함되는 작은 집합)가 성립합니다. 따라서 작은 집합 p는 큰 집합 q이기 위한 '충분조건'입니다.

확인: 원소가 n개인 집합의 부분집합의 개수는 2^n 개이며, 특정 원소 k개를 포함하거나 제외하면 2^(n-k) 개이다.

3. 심화 응용 및 실전 빈출 함정 분석: '모든'과 '어떤'의 부정, 절대부등식(산술·기하평균)

1) 양화사 '모든(All)'과 '어떤(Some)'이 들어간 명제의 참·거짓과 부정: - "모든 $x \in U$ 에 대하여 $p(x)$ 이다": 진리집합이 $P = U$ (단 하나의 예외도 없어야 함)일 때만 참입니다. 그 부정은 "어떤 $x \in U$ 에 대하여 $\sim p(x)$ 이다"입니다. - "어떤 $x \in U$ 에 대하여 $p(x)$ 이다": 진리집합이 $P \neq \emptyset$ (만족하는 원소가 단 $1$ 개라도 존재하면 됨!)일 때 참입니다. 그 부정은 "모든 $x \in U$ 에 대하여 $\sim p(x)$ 이다"입니다. 2) 절대부등식의 제왕 — 산술평균·기하평균 부등식 (수능·내신 최고 빈출): 두 실수가 모두 양수( $a > 0, b > 0$ )라는 조건이 있을 때, 두 수의 합의 최솟값 또는 곱의 최댓값을 구하는 절대 무기입니다:

\frac{a + b}{2} \ge \sqrt{ab} \quad \Longleftrightarrow \quad a + b \ge 2\sqrt{ab} \qquad (\text{단, 등호는 } a = b \text{ 일 때 성립!})

실전 빈출 함정 (전개 후 산술·기하 적용):

(a + b)\left(\frac{1}{a} + \frac{4}{b}\right)

의 최솟값을 구할 때, 앞의 괄호에서

a + b \ge 2\sqrt{ab}

, 뒤의 괄호에서

\frac{1}{a} + \frac{4}{b} \ge \frac{4}{\sqrt{ab}}

를 따로 써서 곱해 최솟값을

8

이라고 쓰면 100% 오답입니다! (앞의 등호 조건

a=b

와 뒤의 등호 조건

b=4a

가 동시에 성립할 수 없기 때문입니다.) - 정석 해법: 반드시 괄호를 먼저 전개하여

1 + \frac{4a}{b} + \frac{b}{a} + 4 = 5 + \left(\frac{4a}{b} + \frac{b}{a}\right) \ge 5 + 2\sqrt{4} = \mathbf{9}

로 구해야 합니다!⚠️ 필요·충분조건 암기 꿀팁: '작은 집합이 큰 집합으로 화살을 쏜다(작 → 큰)!' 화살표를 쏘면 총(충분조건), 화살표를 맞으면 피(필요조건)가 난다고 기억하면 진리집합 포함 관계 P ⊂ Q 만으로 1초 만에 판별할 수 있습니다.

참고 근거와 확인 범위

MIT · Mathematics for Computer Science · Logic and proofs ↗
명제·집합·조건과 증명의 구분: 교재 1~4장

설명·예제·문제 구성 및 오류 수정 책임: 프리런. 위 자료는 표시한 주제를 확인하거나 더 읽기 위한 근거이며, 외부 기관의 공식 수업이나 감수본을 뜻하지 않습니다.

참고 자료 연결 점검: 2026-11-02. 제작 방식·검수 범위와 수정 기록에서 확인 범위를 볼 수 있습니다. 오류는 상단의 의견 보내기 또는 contact@freelearn.io로 알려 주세요.

이 단원의 개념서 읽기 →