'키 큰 사람들의 모임'에 누가 들어가야 하는지, 모두가 같은 답을 말할 수 있을까요?
집합은 누가 판정해도 결과가 같은 명확한 울타리다. 명제는 참인지 거짓인지 확실히 갈리는 문장이다.
Experiment
직접 만져보기
🔮 예측 먼저 — 다음 중 '모임'으로 확실히 정할 수 있는 것은?
🚧 짝수의 울타리 A — 기준: 2로 나누어떨어진다
숫자 타일을 눌러 울타리에 넣어보세요. 울타리가 스스로 판정합니다.
울타리 안 · A
아직 비어 있어요
울타리 밖
아직 비어 있어요
📖 더 읽기 — 왜 필요한가 · 인사이트 · 흔한 오해 · 수식 정리펼치기 ▾
Why
왜 필요한가
수학이 무너지는 지점은 어려운 계산이 아니라 애매한 말입니다. '키가 크다', '맛있다' 같은 말은 사람마다 판정이 달라요. 이런 말 위에는 어떤 논리도 쌓을 수 없습니다.
그래서 수학자들은 먼저 울타리를 세웠습니다. '170cm 이상'처럼 기준이 명확하면 누가 판정해도 결과가 같아요. 이렇게 명확한 모임이 집합이고, 참·거짓이 확실히 갈리는 문장이 명제입니다.
집합과 명제는 여러 단원 중 하나가 아니라 수학 전체의 문법입니다. 방정식의 해도, 확률의 사건도, 함수의 정의역도 모두 집합이에요. 이 문법을 익히면 뒤에 오는 모든 개념이 또렷해집니다.
Insight
영상에서 말한 인사이트
“수학은 애매한 말 위에 지은 건물을 허용하지 않는다.”
일상 대화는 '대충 통하면' 충분하지만, 수학은 한 단어라도 애매하면 전체가 무너집니다. 집합의 조건이 까다로운 것은 결벽증이 아니라, 그 위에 수천 층의 논리를 쌓아야 하기 때문이에요.
“말싸움에서 지지 않는 무기는 대우다.”
상대의 주장을 정면으로 반박하기 어려울 때, 뒤집고 부정한 대우를 검토하면 같은 주장을 다른 각도에서 볼 수 있습니다. 탐정의 알리바이 추리가 바로 대우 논법이에요.
Misconception
사람들이 흔히 하는 오해
명제가 참이면, 그 문장을 뒤집은 역도 당연히 참이다.
'비가 오면 땅이 젖는다'는 참이지만, 뒤집은 '땅이 젖으면 비가 온 것이다'는 물청소 한 번이면 무너집니다. 반례 하나면 명제는 거짓이에요. 뒤집어도 참이 보존되는 것은 대우뿐입니다.
아무 모임이나 다 집합이 된다.
'맛있는 음식의 모임'은 판정하는 사람마다 원소가 달라집니다. 누가 판정해도 결과가 같아야 집합이에요. 수학이 이 조건을 고집하는 이유는, 애매한 울타리 위에는 논리를 한 층도 쌓을 수 없기 때문입니다.
Formula
수식으로 정리하기
실험에서 울타리에 넣고, 겹치고, 뒤집어 본 것을 수학 기호로 쓰면 이렇습니다.
🔬 공식 해부 — 3단계에서 뒤집은 문장과 짝지어 보기
≡
원소와 집합
울타리 A가 문을 열어주면 원소(∈), 거절하면 ∉입니다. 1단계에서 어떤 타일을 눌러도 판정이 같았던 것처럼, 기준이 명확해야 집합이에요.
교집합과 합집합
'그리고(∩)'는 두 울타리를 모두 통과해야 해서 좁아집니다. '또는(∪)'은 한쪽만 통과해도 돼서 넓어져요. 2단계 벤다이어그램의 한가운데와 전체가 바로 이 둘입니다.
대우 법칙
역과 이는 배신할 수 있지만, 뒤집고 부정한 대우는 원래 명제와 참·거짓이 항상 같습니다. 증명이 막히면 대우를 대신 증명해도 되는 근거예요.
충분조건과 필요조건
명제 p→q가 참이라는 것은 p의 울타리(진리집합)가 q의 울타리 안에 쏙 들어간다는 뜻입니다. 안쪽 p는 충분조건, 바깥쪽 q는 필요조건이에요.
In Real Life
현실에서 만나는 곳
검색 필터의 AND와 OR
쇼핑몰에서 '무선 그리고 5만 원 이하'를 걸면 결과가 확 줄고, '무선 또는 5만 원 이하'는 확 늘어납니다. 필터는 교집합과 합집합을 버튼으로 만든 것이에요.
계약서의 조건 조항
'A인 경우에 한하여 B를 지급한다'는 문장에서 A는 충분조건일까요, 필요조건일까요? 조건문의 방향을 잘못 읽으면 실제로 손해를 봅니다. 계약서 읽기는 명제 독해예요.
프로그래밍의 if문
if (조건)은 참·거짓을 판정하는 명제 기계입니다. &&는 교집합, ||는 합집합과 같은 문법이에요. 코드의 버그 중 상당수가 '그리고'와 '또는'을 헷갈린 데서 나옵니다.
알리바이 — 대우 논법
'범인이라면 그 시각 현장에 있었다'가 참일 때, '현장에 없었다'는 알리바이는 '범인이 아니다'를 증명합니다. 추리물의 논리적 뼈대가 대우예요.
Practice
풀어보기 — 유형 정복
다음 중 집합이라고 확실히 말할 수 있는 모임은?
1부터 12까지의 수 중에서, 짝수이면서 3의 배수인 수는 모두 몇 개일까요?
역, 이, 대우 중에서 원래 명제와 참·거짓이 항상 같은 것은?
'x>4이면 x>2이다'는 참입니다. x>4는 x>2이기 위한 무슨 조건일까요?
Watch
관련 유튜브 영상
Connection
개념은 이어진다
이전 개념
다음 개념으로 연결
Related
함께 보면 좋은 실험실
관련 실험실
관련 실험실