집합과 명제 개념정리

벤다이어그램 한 장과 수직선 한 줄로 묶는 '말을 정확히 다루는 기술'.

집합의 연산드모르간 법칙명제의 참과 거짓역·이·대우필요충분조건절대부등식 증명

왜 집합부터 시작할까 · '정확하게 가르는' 도구

수학에서 제일 먼저 합의해야 할 것은 **'무엇을 다루는가'**예요. 그 모임을 분명하게 정한 게 집합이에요. 핵심은 분명하게인데, '키 큰 사람'은 집합이 아니고 '키 170cm 이상인 사람'은 집합이에요. 경계가 칼같이 정해진다는 성질이 뒤에 나올 명제의 참·거짓과 이어져요.

원소와 집합 사이는 $\in$ (속한다), 집합과 집합 사이는 $\subset$ (부분집합)이에요. 이 둘을 헷갈리면 뒤가 다 꼬여요.

$a \in A$ : 원소 $a$ 가 집합 $A$ 에 속함
$B \subset A$ : $B$ 의 모든 원소가 $A$ 에 속함 (부분집합)
원소가 $n$ 개인 집합의 부분집합은 $2^n$ 개예요. 각 원소마다 '넣냐/빼냐' 2가지 선택이니까요.

집합의 연산 · 벤다이어그램 한 장이면 끝

연산은 '영역을 어떻게 합치고 자르고 뒤집느냐'예요. 벤다이어그램의 어느 칸이 칠해지는지로 기억하세요.

교집합 $A \cap B$ · 겹치는 부분
합집합 $A \cup B$ · 둘을 다 덮은 부분
여집합 $A^{c}$ · 전체집합에서 $A$ 바깥
차집합 $A - B = A \cap B^{c}$ · $A$ 에서 $B$ 겹치는 걸 뺀 부분

차집합을 $A \cap B^{c}$ 로 바꿔 쓰는 감각이 진짜 중요해요. 원소 개수도 직관으로: $n(A \cup B) = n(A) + n(B) - n(A \cap B)$

$A$ 와 $B$ 를 더하면 겹치는 부분을 두 번 세니까 한 번 빼주는 거예요.

드모르간 법칙 · '뒤집으면 ∩↔∪ 바뀐다'

드모르간은 시험에 거의 항상 나오는 법칙이에요. 핵심은 한 줄이에요.

여집합으로 뒤집으면 교집합과 합집합이 서로 바뀐다.

$(A \cup B)^{c} = A^{c} \cap B^{c}$ $(A \cap B)^{c} = A^{c} \cup B^{c}$

자주 하는 실수 · 기호를 그대로 두는 것이에요. 바를 안으로 넣으면 $\cap$ 과 $\cup$ 이 반드시 바뀌어야 해요.

왜? $(A \cup B)^c$ 는 'A에도 안 들고 B에도 안 든' 원소예요. '또는'의 부정이 '둘 다 아니다'로 바뀌면서 $\cap$ 이 나와요.

명제의 참·거짓 · 집합으로 옮겨 생각하기

명제는 참·거짓이 분명한 문장이에요. ' $x>2$ 이다' 같은 건 $x$ 에 따라 달라지니 조건이라 불러요. 조건이 참이 되는 $x$ 들의 모임이 진리집합이에요.

핵심 연결고리:

'p이면 q'가 참 = p의 진리집합이 q의 진리집합 안에 쏙 들어감. 즉 $P \subset Q$ .

그래서 명제 문제는 거의 다 벤다이어그램의 포함관계로 풀어요.

$p \Rightarrow q$ 가 참 $\iff P \subset Q$
명제가 거짓임을 보이려면 반례 하나면 충분해요.

참을 보일 땐 모든 경우, 거짓을 보일 땐 반례 하나. 이 비대칭이 시험의 함정이에요.

역·이·대우 · 화살표를 돌리고 부정하기

명제 ' $p \Rightarrow q$ '에서 화살표를 돌리거나 양쪽을 부정하면 세 친구가 나와요.

역: $q \Rightarrow p$
이: $\sim p \Rightarrow \sim q$
대우: $\sim q \Rightarrow \sim p$

가장 중요한 사실:

원명제와 대우는 참·거짓이 항상 같아요.

왜? $p \Rightarrow q$ 가 $P \subset Q$ 인데, 양변에 여집합을 씌우면 $Q^c \subset P^c$ 가 돼요. 이게 바로 대우예요. 같은 그림을 두 방향에서 읽은 것이라 참·거짓이 같아요.

반면 역과 이는 원명제와 무관해요. 다만 역과 이는 서로 대우 관계라 참·거짓이 같아요.

필요·충분조건 · 화살표가 가리키는 쪽이 '필요'

여기서 학생들이 제일 많이 헷갈려요. 규칙은 한 줄이에요.

$p \Rightarrow q$ 가 참일 때, p는 충분조건, q는 필요조건. 화살표 꼬리가 충분, 머리가 필요.

$p \Rightarrow q$ 는 $P \subset Q$ , 즉 p가 더 좁고 q가 더 넓어요.

p는 q이기에 충분 · p만 만족하면 q는 자동
q는 p이기 위해 필요 · q가 안 되면 p도 절대 안 됨

양방향이 다 성립하면, $p \iff q$ 일 때 필요충분조건이고 이때 $P = Q$ 예요.

절대부등식 증명 · '항상 성립함'을 손으로 보이기

절대부등식은 변수에 어떤 실수를 넣어도 항상 성립하는 부등식이에요. 증명의 무기는 두 가지예요.

(차)를 만들어 완전제곱으로 · $A - B$ 를 계산해 $( )^2 \ge 0$ 꼴로 만들면 끝. 실수의 제곱은 항상 0 이상이니까요.
양수끼리는 제곱해서 비교 · 절댓값·루트가 끼면 양변을 제곱해 비교해요.

산술·기하 평균 · $a>0,\ b>0$ 일 때 $\frac{a+b}{2} \ge \sqrt{ab} \quad (\text{등호는} \ a=b \ \text{일 때})$

증명은 간단해요: $\frac{a+b}{2} - \sqrt{ab} = \frac{(\sqrt{a} - \sqrt{b})^2}{2} \ge 0$

등호 조건을 빠뜨리면 감점이에요. '차→완전제곱→등호조건' 3단 루틴을 몸에 익혀두세요.

한눈 요약 · 집합과 명제 전체 지도

이 단원은 벤다이어그램과 수직선 하나로 다 환원돼요.

집합 연산 · $A-B = A \cap B^{c}$ 로 바꾸기 · $n(A \cup B)=n(A)+n(B)-n(A\cap B)$
드모르간 · 바를 씌워 안으로 넣으면 $\cap \leftrightarrow \cup$ 뒤집힘
명제 · $p\Rightarrow q$ 참 $\iff P \subset Q$ · 거짓은 반례 하나
역·이·대우 · 원명제 = 대우 · 역 = 이 · 역·이는 원명제와 무관
필요충분 · 화살표 꼬리=충분, 머리=필요 · 필충 $\iff P=Q$
절대부등식 · 차 만들기 → 완전제곱 → 등호조건

집합 = 범위 감각, 명제 = 논리 감각. 둘이 만나는 다리가 ' $p\Rightarrow q \iff P\subset Q$ '예요.

풀이 꿀팁

🎯 출제 포인트 · 드모르간은 매년 한 문제

$(A\cup B)^c$ , $(A\cap B)^c$ 변형은 거의 100% 출제돼요. 특히 차집합이 섞인 식 $\{(A-B)\cup(B-A)\}^c$ 같은 게 나오면 무조건 먼저 $A-B=A\cap B^c$ 로 전부 바꾼 뒤 드모르간을 돌리세요. 기호가 복잡할수록 '여집합으로 통일 → 드모르간'이 정답 루트예요. 바를 안으로 넣을 때 $\cap \leftrightarrow \cup$ 안 바꾸면 그 한 줄에서 전부 틀립니다.

⚡ 빠른 풀이 · 명제는 무조건 벤다이어그램으로

' $p\Rightarrow q$ 참'이라는 말이 나오면 글로 따지지 말고 즉시 $P\subset Q$ 그림으로 바꾸세요. '필요/충분'을 따질 땐 더 넓은 집합이 필요조건, 더 좁은 집합이 충분조건. 화살표 외우다 헷갈리면 '좁은 게 충분(혼자서도 충분), 넓은 게 필요(없으면 안 됨)'로 떠올리면 100% 안 틀려요. $p\Rightarrow q$ , $q\Rightarrow p$ 중 어느 쪽이 참인지를 $P,Q$ 포함관계로 먼저 그리면 조건 판정이 한눈에 끝나요.

⚠️ 여기서 다 틀려 · 역·이를 대우로 착각

원명제가 참이면 대우만 따라서 참이에요. 역과 이는 참·거짓을 절대 보장 못 해요. 시험은 '원명제가 참이면 다음 중 반드시 참인 것은?' 식으로 묻고, 매력적인 오답에 꼭 '역'을 끼워 넣어요. 또 하나, $p\Rightarrow q$ 가 거짓임을 보일 땐 반례 하나면 끝인데 굳이 전체를 증명하려다 시간 날리는 학생 많아요. '참은 전부, 거짓은 반례 하나' 이 비대칭을 손에 새기세요.

⚠️ 등호조건 빠뜨리면 감점

산술·기하 평균 $\frac{a+b}{2}\ge\sqrt{ab}$ 쓸 때 **'등호는 $a=b$ 일 때'**를 안 적으면 최솟값 문제에서 틀려요. 특히 $a+\frac{1}{a}\ge 2$ 같은 최솟값은 등호 성립하는 $a$ 값( $a=1$ )이 정의역 안에 실제로 있는지 반드시 확인! 등호가 성립 못 하는 구간이면 최솟값이 2가 아니에요. '값은 맞는데 등호 조건이 정의역 밖'인 함정이 킬러 단골입니다.

🧠 강의 꿀팁 · '차→완전제곱→등호' 3박자

절대부등식 증명은 패턴이 딱 하나예요. ① 큰 쪽 − 작은 쪽을 계산하고 → ② $(\ )^2\ge 0$ 완전제곱으로 묶고 → ③ 등호조건 한 줄 적으면 만점. 루트나 절댓값이 끼면 '양수끼리는 제곱해서 비교'로 시작하세요. 이 3박자만 손에 익히면 증명 문제는 사실상 암기가 아니라 반사예요. 채점은 ③ 등호조건 한 줄에서 갈리니, 차를 다 풀고도 등호 줄을 꼭 닫아주세요.