수학에서 명제를 배우다 보면 역과 이와 대우가 자꾸 헷갈립니다. 특히 원래 명제가 참이면 역과 이도 참일 것 같은데, 실제로는 대우만 항상 참과 거짓이 같습니다. 이번 글에서는 조건 명제 차이를 중심으로 역과 이와 대우가 어떻게 달라지는지, 왜 대우만 원래 명제를 따라가는지까지 차근차근 정리해 보겠습니다. 아래 표를 먼저 보시면 전체 흐름이 잡힙니다.
| 구분 | 만드는 방법 | 예시 |
|---|---|---|
| 원래 명제 | p이면 q이다 | 4의 배수이면 짝수이다 |
| 역 | q이면 p이다 | 짝수이면 4의 배수이다 |
| 이 | p가 아니면 q가 아니다 | 4의 배수가 아니면 짝수가 아니다 |
| 대우 | q가 아니면 p가 아니다 | 짝수가 아니면 4의 배수가 아니다 |
명제와 조건은 고등수학에서 처음 등장하지만 이후에도 자주 쓰이는 개념입니다. 많은 분이 명제와 조건을 같은 의미로 생각하는데, 실제로는 역할이 다릅니다. 명제는 참과 거짓을 판단할 수 있는 문장이고, 조건은 변수에 따라 참과 거짓이 달라질 수 있는 문장입니다. 예를 들어 2는 짝수이다는 참인 명제이고, x는 짝수이다는 x의 값에 따라 참과 거짓이 바뀌는 조건입니다. 이렇게 명제와 조건을 나누어 보면 조건 명제 차이가 더 선명하게 보입니다.

목차
조건 명제에서 가정과 결론 구분하기
조건 명제는 p이면 q이다와 같은 형태로 이루어집니다. 여기서 p는 가정이고 q는 결론입니다. 가정은 어떤 상황을 전제하는 부분이고, 결론은 그 상황에서 따라 나오는 주장입니다. 예를 들어 어떤 정수가 4의 배수이면 그 정수는 짝수이다라는 문장에서 가정은 어떤 정수가 4의 배수이다이고 결론은 그 정수는 짝수이다입니다. 이렇게 가정과 결론을 먼저 구분하면 역과 이와 대우를 만들 때 훨씬 수월합니다.
명제와 조건을 어떻게 구분할까
명제는 참과 거짓이 명확한 문장입니다. 가령 모든 정사각형은 직사각형이다는 참인 명제이고, 5는 짝수이다는 거짓인 명제입니다. 반면 조건은 x가 4보다 크다처럼 x의 값에 따라 참과 거짓이 달라지는 문장입니다. 조건은 그 자체로 참과 거짓을 판단하기 어렵지만, 조건이 명제 안에서 가정이나 결론으로 들어가면 논리적 판단이 가능해집니다. 이 과정에서 조건 명제 차이가 발생합니다.
가정과 결론을 바꾸는 기준
처음에는 가정과 결론을 구분하는 것도 헷갈릴 수 있습니다. 이때는 p이면 q이다에서 p와 q의 위치에 무엇이 들어가는지 찾아보면 됩니다. p는 조건에 해당하는 앞부분이고 q는 결과에 해당하는 뒷부분입니다. 예를 들어 x가 2이면 x의 제곱은 4이다에서 x가 2이다가 가정이고 x의 제곱은 4이다가 결론입니다. 이 기준을 세워 두면 역과 대우를 만드는 동작이 단순해집니다.
역 이 대우를 만드는 방법
역은 가정과 결론의 자리를 서로 바꾼 명제입니다. 원래 명제가 p이면 q이다라면 역은 q이면 p이다가 됩니다. 예를 들어 어떤 정수가 4의 배수이면 그 정수는 짝수이다의 역은 어떤 정수가 짝수이면 그 정수는 4의 배수이다입니다. 그런데 이 역은 거짓입니다. 2는 짝수이지만 4의 배수는 아니기 때문입니다.
이는 가정과 결론의 자리는 그대로 두고 두 조건을 모두 부정한 명제입니다. p이면 q이다의 이는 p가 아니면 q가 아니다가 됩니다. 4의 배수이면 짝수이다의 이는 4의 배수가 아니면 짝수가 아니다입니다. 그런데 6은 4의 배수가 아니지만 짝수이므로 이 역시 거짓입니다. 이렇게 역과 이는 원래 명제와 참과 거짓이 달라질 수 있습니다.
대우는 가정과 결론의 자리를 바꾼 뒤 두 조건을 모두 부정한 명제입니다. p이면 q이다의 대우는 q가 아니면 p가 아니다입니다. 4의 배수이면 짝수이다의 대우는 짝수가 아니면 4의 배수가 아니다입니다. 홀수는 절대 4의 배수가 될 수 없으므로 이 대우는 참입니다. 이처럼 원래 명제와 대우는 항상 같은 참과 거짓을 가집니다.
역과 대우를 혼동하지 않는 팁
역과 대우는 이름이 비슷하고 만드는 과정도 일부 겹쳐서 혼동하기 쉽습니다. 가장 확실한 방법은 원래 명제를 p이면 q이다로 바꿔 적은 다음 역을 q이면 p이다로 기억하고, 대우를 q가 아니면 p가 아니다로 기억하는 것입니다. 이때 자리를 바꾸는 것과 부정하는 것을 분리해서 생각하면 훨씬 안전합니다. 실제로 예전에 저도 이 부분 때문에 시험에서 한 문제를 틀린 적이 있습니다. 이후에는 역과 대우를 각각 한 번씩 직접 써 보면서 차이를 몸에 익혔습니다.
원래 명제와 대우가 같은 이유
원래 명제와 대우가 항상 같은 이유를 집합으로 보면 아주 간단합니다. 조건 p를 만족하는 대상의 모임을 진리집합 P라고 하고, 조건 q를 만족하는 대상의 모임을 진리집합 Q라고 한다면 p이면 q이다가 참이라는 뜻은 P가 Q에 포함된다는 의미입니다. 이때 Q에 속하지 않은 대상은 P에도 속할 수 없습니다. 이것이 바로 q가 아니면 p가 아니다라는 대우의 내용입니다.
예를 들어 4의 배수인 수들의 집합은 짝수인 수들의 집합 안에 완전히 들어갑니다. 그러면 짝수가 아닌 수들의 집합은 4의 배수가 아닌 수들의 집합 안에 들어가게 됩니다. 자연스럽게 대우도 참이 됩니다. 조건 명제 차이를 집합으로 이해하고 나면 단순히 외우던 공식이 그림처럼 보이기 시작합니다.
부등식에서 부정을 정확히 만드는 법
부등식이 포함된 명제에서는 부정을 만들 때 실수가 잦습니다. x가 3보다 크다의 부정은 x가 3보다 작거나 같다입니다. 크다의 반대는 작다가 아니라 작거나 같다이기 때문입니다. 등호가 함께 붙는지가 매우 중요합니다. 이 부분을 놓치면 대우가 통째로 어긋나므로 조심해야 합니다.
실전 예시로 확인하는 조건 명제 차이
원래 명제 x가 2이면 x의 제곱은 4이다를 보겠습니다. 이 명제는 참입니다. 역은 x의 제곱이 4이면 x가 2이다인데, x가 마이너스 2여도 제곱은 4이므로 역은 거짓입니다. 대우는 x의 제곱이 4가 아니면 x가 2가 아니다인데, 이는 참입니다. 제곱이 4가 아닌 수는 절대 2일 수 없기 때문입니다. 이 예시만 잘 이해해도 조건 명제 차이가 확실하게 잡힙니다.
| 명제 | 판단 | 이유 |
|---|---|---|
| 원래 명제 | 참 | 2의 제곱은 4이다 |
| 역 | 거짓 | 마이너스 2의 제곱도 4이다 |
| 대우 | 참 | 제곱이 4가 아니면 2가 아니다 |
자주 하는 실수와 주의할 점
첫 번째 실수는 원래 명제가 참이면 역도 참이라고 생각하는 것입니다. 역은 원래 명제와 참과 거짓이 다를 수 있습니다. 두 번째 실수는 대우를 만들 때 자리만 바꾸고 부정을 빼먹는 것입니다. 대우는 자리를 바꾼 다음 두 조건을 모두 부정해야 합니다. 세 번째 실수는 부등호 방향과 등호 포함 여부를 잘못 처리하는 것입니다. 이런 실수들은 반례를 하나만 찾아도 쉽게 확인할 수 있습니다.
반례를 찾는 습관
역이나 이가 거짓임을 보일 때는 길게 따지기보다 반례를 찾는 것이 빠릅니다. 어떤 정수가 짝수이면 4의 배수이다라는 역은 2를 대입하면 바로 거짓이 드러납니다. 이처럼 조건을 벗어나는 수 하나만 찾아도 명제가 거짓임을 확실하게 증명할 수 있습니다.
정리하며 바라보는 관점
이번 글에서는 명제와 조건의 차이부터 역과 이와 대우를 만드는 방법, 원래 명제와 대우가 같은 이유까지 살펴봤습니다. 핵심은 조건 명제 차이를 정확히 이해하는 것이고, 그다음에는 역은 자리만 바꾸고 대우는 자리를 바꾸면서 부정까지 한다는 점을 기억하는 것입니다. 원래 명제가 참이면 대우도 참이라는 성질은 집합의 포함 관계로 자연스럽게 설명됩니다. 앞으로 명제 문제를 만나면 원래 명제를 먼저 쓰고 역과 이와 대우를 순서대로 적어 보는 습관을 추천합니다. 그러면 어느 순간 더 이상 헷갈리지 않고 문제를 풀 수 있을 것입니다.
자주 묻는 질문
Q: 조건과 명제는 어떻게 다른가요?
A: 명제는 참과 거짓을 확실하게 판단할 수 있는 문장입니다. 조건은 변수에 따라 참과 거짓이 달라지는 문장입니다. 예를 들어 x는 짝수이다는 조건이고, 2는 짝수이다는 명제입니다.
Q: 역과 대우를 자꾸 헷갈리는데 어떻게 구분하나요?
A: 원래 명제를 p이면 q이다로 적어 보세요. 역은 q이면 p이다이고 대우는 q가 아니면 p가 아니다입니다. 대우에는 부정이 반드시 들어간다는 점을 기준으로 삼으면 구분하기 쉽습니다.
Q: 원래 명제가 참이면 대우도 항상 참인가요?
A: 네, 원래 명제와 대우는 항상 같은 참과 거짓을 가집니다. 조건의 진리집합이 결론의 진리집합에 포함되면, 결론의 여집합은 조건의 여집합에 포함되기 때문입니다.





