명제와 조건 단원에서 가장 중요한 개념을 하나만 꼽으라면 단연 진리집합입니다. 많은 학생이 조건은 문제로 풀면서도 정작 조건을 진리집합으로 바꾸는 과정을 건너뛰고 말로만 접근하다 헤맵니다. 오늘은 진리집합의 정의부터 명제와의 관계, 포함관계를 통한 참과 거짓 판별까지 한 번에 정리해 드립니다. 아래 표를 먼저 보시면 전체 그림이 잡힙니다.
| 개념 | 정의 | 예시 |
|---|---|---|
| 명제 | 참과 거짓이 분명한 문장 | 2는 짝수이다 |
| 조건 | 변수에 따라 참거짓이 달라지는 문장 | x는 4의 약수이다 |
| 진리집합 | 조건을 참으로 만드는 값의 모임 | P = {1, 2, 4} |
목차
명제와 조건의 차이를 정확히 구분해야 하는 이유
명제와 조건은 정의를 정확히 아는 것이 절반입니다. 명제는 참인지 거짓인지가 분명하게 정해지는 문장이나 식입니다. 2는 짝수이다는 참인 명제이고 3은 5보다 크다는 거짓인 명제입니다. 반면 수학은 재미있다처럼 사람마다 다르게 느끼는 문장은 명제가 아닙니다. 조건은 변수가 들어 있어 참거짓이 아직 정해지지 않은 문장입니다. x는 2이다는 x에 어떤 값을 넣느냐에 따라 참이 되기도 하고 거짓이 되기도 합니다. 이렇게 변수가 있으면 조건, 참거짓이 이미 정해지면 명제라고 외워 두시면 헷갈리지 않습니다.
학생들을 가르치다 보면 명제와 조건의 정의를 묻는 순간 자신 없어 하는 경우가 많습니다. 문제는 풀 수 있는데 정의를 말로 표현하지 못하는 것이죠. 정의를 명확히 알면 문제를 풀 때도 방향이 흔들리지 않습니다. 명제와 조건의 차이는 단순한 용어 문제가 아니라 이후 모든 개념의 기초가 됩니다.
진리집합이 명제와 집합을 연결하는 다리입니다
진리집합은 조건을 참으로 만드는 값을 모두 모은 집합입니다. 조건 p의 진리집합은 보통 대문자 P로 나타냅니다. 전체집합을 실수 전체로 두고 조건 p가 x는 4의 약수라면 진리집합은 P = {1, 2, 4}가 됩니다. 조건 q가 x는 8의 약수라면 Q = {1, 2, 4, 8}이지요. 조건 하나에는 반드시 진리집합 하나가 대응합니다. 이 대응 관계가 바로 명제와 집합을 잇는 핵심 다리입니다.
진리집합을 활용하면 명제의 모든 표현이 집합의 언어로 바뀝니다. p 그리고 q는 교집합 P와 Q의 교집합, p 또는 q는 합집합, p가 아니다는 여집합으로 나타냅니다. 특히 p이면 q가 참이라는 것은 P가 Q에 포함된다는 뜻입니다. 명제를 어렵게 느끼는 학생들의 공통점은 이 대응을 모른 채 말로만 풀려고 한다는 점입니다. 조건을 진리집합으로 바꾸는 순간 명제 문제는 집합 문제가 되어 훨씬 단순해집니다.

p이면 q의 참과 거짓을 포함관계로 읽는 방법
p이면 q이다를 기호로 p → q라고 씁니다. 이 명제가 참이라면 P가 Q에 포함됩니다. p를 만족하는 값이 빠짐없이 q도 만족해야 참이기 때문입니다. 예를 들어 p가 x = 2이고 q가 x² = 4라면 P = {2}, Q = {2, -2}입니다. P가 Q 안에 들어가므로 p → q는 참입니다. 반대로 q → p는 거짓입니다. x = -2는 q는 만족하지만 p는 만족하지 않기 때문이지요.
부등식으로도 확인할 수 있습니다. p가 x > 3이고 q가 x > 1이라면 범위가 좁은 x > 3이 넓은 x > 1 안에 들어갑니다. 따라서 p → q는 참이고 반대는 거짓입니다. 이때 반례는 x = 2가 됩니다. 거짓임을 보일 때는 반례 하나만 찾으면 충분합니다. 반례는 반드시 p는 만족하면서 q는 만족하지 않는 값을 골라야 합니다.
필요조건과 충분조건을 화살표로 정리하기
필요조건과 충분조건은 말로 외우면 자주 방향이 섞입니다. p → q가 참일 때 p는 q이기 위한 충분조건이고 q는 p이기 위한 필요조건입니다. 화살표를 출발하는 쪽이 충분조건, 도착하는 쪽이 필요조건이라고 기억하면 쉽습니다. 두 방향 모두 참이면 서로 필요충분조건이 됩니다.
제가 학생들을 지도하며 느낀 것은 작은 진리집합을 가진 조건이 더 강한 조건이라는 점입니다. x > 3은 x > 1보다 더 까다로운 조건이므로 진리집합이 작습니다. 작은 집합이 큰 집합에 포함되는 방향으로 화살표가 그려집니다. 이 그림을 머릿속에 그릴 수 있다면 필요충분조건 문제는 틀릴 수 없습니다.
역과 대우 그리고 부정을 정확히 이해하는 팁
원래 명제 p → q가 있을 때 역은 q → p이고 대우는 not q → not p입니다. 원래 명제와 대우의 참과 거짓은 항상 같습니다. 하지만 역은 원래 명제와 참거짓이 같다고 보장할 수 없습니다. 예를 들어 n이 4의 배수이면 n은 짝수이다는 참이지만 역인 n이 짝수이면 n은 4의 배수이다는 거짓입니다. 6이 반례가 되기 때문입니다.
부정을 만들 때는 서술어만 부정해야 합니다. n은 짝수이다의 부정은 n은 짝수가 아니다이고 이는 n은 홀수이다로 다듬을 수 있습니다. 모든 학생이 남자이다라는 명제의 부정은 어떤 학생은 남자가 아니다가 됩니다. 이렇게 모든이 들어간 명제는 어떤으로 바꾸어 부정하고, 어떤이 들어간 명제는 모든으로 바꾸어 부정합니다.
진리집합 개념을 익힐 때 도움이 되는 자료를 추천합니다. 교육부 고시 교육과정에서 집합과 명제 단원의 학습 목표를 확인할 수 있고, EBSMath에서 무료로 개념 강의를 들을 수 있습니다.
진리집합으로 명제 문제를 푸는 실제 경험담
지난 학기 수업에서 한 학생이 필요조건과 충분조건 문제를 계속 틀려서 고민이었습니다. 말로 설명해도 고개를 끄덕이다가 다음 문제에서 또 같은 실수를 반복했습니다. 그래서 문제를 읽자마자 조건을 P와 Q로 줄이고 화살표를 먼저 쓰게 했습니다. 진리집합을 구한 다음 포함 관계를 그림으로 그리자 학생의 눈이 확 뜨였습니다. 이후에는 어려운 문제도 자신 있게 풀기 시작했습니다.
이 경험을 통해 깨달은 것은 명제 단원은 용어를 암기하는 것이 아니라 관계를 그리는 것이라는 점입니다. 진리집합을 활용하면 긴 문장도 짧은 기호로 바뀌고 복잡한 조건도 그림 한 장으로 정리됩니다. 처음에는 한 문제마다 P → Q를 적는 것이 번거로울 수 있지만 익숙해지면 오히려 빠르고 정확해집니다.
문제 풀이 순서를 정해 두면 실수가 줄어듭니다
- 조건을 P와 Q로 줄여 화살표를 먼저 적습니다
- 각 조건의 진리집합을 구합니다
- 포함 관계를 확인해 참과 거짓을 판단합니다
- 필요와 충분을 출발과 도착으로 표현합니다
- 거짓일 때는 반례 하나를 찾습니다
이 순서를 지키면 어떤 문제가 나와도 흔들리지 않습니다. 특히 진리집합을 구하는 단계에서 부호나 원소를 빠뜨리지 않도록 주의하세요. 제곱이 포함된 조건은 음수 해를 꼭 함께 확인해야 합니다.
지금까지 배운 내용을 정리하며 바라보는 방향
명제와 조건 단원은 정의를 정확히 외우는 데서 출발해 조건을 진리집합으로 바꾸는 과정을 거쳐 집합의 포함 관계로 읽는 단원입니다. 명제와 조건의 차이, 진리집합의 정의, 포함 관계와 필요충분조건, 역과 대우 그리고 부정까지 하나의 흐름으로 이어집니다. 이 흐름을 잡으면 더 이상 용어에 헷갈리지 않습니다.
이번에 정리한 내용을 바탕으로 다음에는 복잡한 명제의 부정과 귀류법까지 확장해 볼 계획입니다. 진리집합이 명제와 집합을 연결하는 다리라는 사실을 기억한다면 고등 수학의 큰 그림이 조금씩 보일 것입니다.
자주 묻는 질문
Q: 진리집합이 정확히 무엇인가요?
A: 조건을 참으로 만드는 모든 값을 모아 둔 집합입니다. 예를 들어 x는 4의 약수라는 조건의 진리집합은 {1, 2, 4}입니다.
Q: 명제와 조건은 어떻게 구분하나요?
A: 변수 없이 참과 거짓이 정해져 있으면 명제이고 변수가 있어 값에 따라 달라지면 조건입니다.
Q: 포함 관계를 자꾸 반대로 읽는데 어떻게 해야 하나요?
A: 범위가 좁은 조건이 넓은 조건에 들어간다고 기억하세요. x > 3이 x > 1 안에 들어가는 것처럼 작은 집합이 큰 집합에 포함됩니다.





