
명제와 조건의 의미를 이해할 수 있다.
명제를 조건의 형태로 나타낼 수 있다.
충분조건과 필요조건의 뜻을 설명할 수 있다.
필요충분조건의 의미를 이해할 수 있다.
조건 사이의 관계를 판단할 수 있다.
수학에서는 어떤 문장이 참인지 거짓인지 명확하게 판단될 수 있을 때 이를 명제라고 한다.
예를 들어,
“3은 홀수이다.” → 참인 명제
“10은 소수이다.” → 거짓인 명제
와 같이 참 또는 거짓을 분명하게 결정할 수 있는 문장을 명제라고 한다.
명제는 흔히 다음과 같은 형태로 나타낸다.
“만약 (p)이면 (q)이다.”
이를 기호로
$$
p \rightarrow q
$$
라고 쓴다.
여기서
(p) : 조건(가정)
(q) : 결론
이라고 한다.
명제
“만약 (p)이면 (q)이다.”
에서,
조건 (p)를 만족하는 경우에는 반드시 결론 (q)가 성립해야 한다.
예를 들어,
“만약 어떤 자연수가 4의 배수이면 짝수이다.”
를 생각해 보자.
이때,
(p) :
“어떤 자연수는 4의 배수이다.”
(q) :
“그 자연수는 짝수이다.”
이다.
즉,
$$
p\rightarrow q
$$
이다.
명제
$$
p\rightarrow q
$$
가 참일 때,
조건 (p)를 만족하면 반드시 (q)가 성립하므로,
(p)를 (q)의 충분조건이라고 한다.
충분조건
$$
p\rightarrow q
$$가 참이면,
(p)는 (q)의 충분조건이다.
쉽게 말하면,
“(p)만으로 (q)를 보장할 수 있다.”
라는 뜻이다.
다음 명제를 살펴보자.
“어떤 수가 8의 배수이면 4의 배수이다.”
(p) :
“8의 배수이다.”
(q) :
“4의 배수이다.”
이다.
8의 배수는 반드시 4의 배수이므로
$$
p\rightarrow q
$$
는 참이다.
따라서,
“8의 배수이다.”
는
“4의 배수이다.”
의 충분조건이다.
명제
$$
p\rightarrow q
$$
가 참일 때,
결론 (q)가 성립하려면 적어도 조건 (p)가 필요하므로,
(q)를 (p)의 필요조건이라고 한다.
필요조건
$$
p\rightarrow q
$$가 참이면,
(q)는 (p)의 필요조건이다.
쉽게 말하면,
“(p)가 성립하려면 반드시 (q)가 필요하다.”
라는 뜻이다.
다음 명제를 살펴보자.
“어떤 수가 8의 배수이면 4의 배수이다.”
이 명제에서,
8의 배수가 되기 위해서는 반드시 4의 배수여야 한다.
따라서,
“4의 배수이다.”
는
“8의 배수이다.”
의 필요조건이다.
두 명제
$$
p\rightarrow q
$$
와
$$
q\rightarrow p
$$
가 모두 참이면,
조건 (p)는 (q)의 충분조건이면서 동시에 필요조건이 된다.
이때 (p)와 (q)는 서로의 필요충분조건이라고 한다.
이를 기호로
$$
p\leftrightarrow q
$$
라고 나타낸다.
필요충분조건
$$
p\leftrightarrow q
$$⇔
$$
p\rightarrow q
\quad \text{그리고} \quad
q\rightarrow p
$$
다음 명제를 생각해 보자.
“어떤 자연수가 2의 배수인 것은 그 수의 일의 자리 숫자가 짝수인 것과 필요충분조건이다.”
(p) :
“2의 배수이다.”
(q) :
“일의 자리 숫자가 짝수이다.”
이다.
두 명제가 모두 참이다.
$$
p\rightarrow q
$$
$$
q\rightarrow p
$$
따라서,
$$
p\leftrightarrow q
$$
이다.
즉,
두 조건은 서로 필요충분조건이다.
명제
$$
p\rightarrow q
$$
가 참이면,
(p)는 (q)의 충분조건
(q)는 (p)의 필요조건
이다.
이를 표로 정리하면 다음과 같다.
| 참인 명제 | 충분조건 | 필요조건 |
|---|---|---|
| $$p\rightarrow q$$ | (p)는 (q)의 충분조건 | (q)는 (p)의 필요조건 |
문제
다음 명제에서 충분조건과 필요조건을 각각 구하여라.
“어떤 수가 12의 배수이면 6의 배수이다.”
풀이
(p) :
“12의 배수이다.”
(q) :
“6의 배수이다.”
이다.
따라서,
충분조건 :
12의 배수이다.
필요조건 :
6의 배수이다.
답
$$
\boxed{\text{충분조건 : 12의 배수}}
$$
$$
\boxed{\text{필요조건 : 6의 배수}}
$$
문제
다음 조건의 관계를 판단하여라.
(p) :
“정사각형이다.”
(q) :
“직사각형이다.”
풀이
모든 정사각형은 직사각형이다.
따라서
$$
p\rightarrow q
$$
는 참이다.
그러나 모든 직사각형이 정사각형인 것은 아니다.
즉,
$$
q\rightarrow p
$$
는 거짓이다.
따라서,
정사각형인 것은 직사각형인 것의 충분조건이다.
직사각형인 것은 정사각형인 것의 필요조건이다.
문제
다음 조건의 관계를 판단하여라.
(p) :
“삼각형이 정삼각형이다.”
(q) :
“삼각형의 세 변의 길이가 모두 같다.”
풀이
정삼각형이면 세 변의 길이가 모두 같다.
또한 세 변의 길이가 모두 같으면 정삼각형이다.
즉,
$$
p\rightarrow q
$$
$$
q\rightarrow p
$$
가 모두 참이다.
따라서,
$$
p\leftrightarrow q
$$
이다.
즉, 두 조건은 필요충분조건이다.
① 명제
참 또는 거짓을 분명하게 판단할 수 있는 문장
② 조건 명제
$$
p\rightarrow q
$$
“만약 (p)이면 (q)이다.”
③ 충분조건
$$
p\rightarrow q
$$
가 참이면,
(p)는 (q)의 충분조건
④ 필요조건
$$
p\rightarrow q
$$
가 참이면,
(q)는 (p)의 필요조건
⑤ 필요충분조건
$$
p\leftrightarrow q
$$
⇔
$$
p\rightarrow q
\quad \text{그리고} \quad
q\rightarrow p
$$
문제 1
다음 명제에서 충분조건과 필요조건을 구하여라.
“어떤 수가 15의 배수이면 5의 배수이다.”
문제 2
다음 조건의 관계를 판단하여라.
(p) :
“마름모이다.”
(q) :
“평행사변형이다.”
문제 3
다음 조건의 관계를 판단하여라.
(p) :
“자연수가 3의 배수이다.”
(q) :
“각 자리 숫자의 합이 3의 배수이다.”
문제 1
충분조건 :
$$
\boxed{\text{15의 배수이다.}}
$$
필요조건 :
$$
\boxed{\text{5의 배수이다.}}
$$
문제 2
모든 마름모는 평행사변형이다.
따라서,
$$
\boxed{\text{마름모는 평행사변형의 충분조건}}
$$
$$
\boxed{\text{평행사변형은 마름모의 필요조건}}
$$
이다.
문제 3
두 조건은 서로 동치이다.
따라서,
$$
\boxed{\text{필요충분조건}}
$$
이다.
충분조건과 필요조건은 단순한 기호의 해석을 넘어, 조건 사이의 논리적 관계를 분석하는 중요한 도구이다. 이후 배우게 될 명제의 역과 대우, 증명, 함수의 성질 등 다양한 수학 분야에서 핵심적인 역할을 한다. 따라서 “어떤 조건이 다른 조건을 보장하는가?”, “어떤 조건이 반드시 필요한가?”를 스스로 판단하는 연습을 충분히 하며 논리적인 사고력을 길러 나가도록 하자.
You have not completed all required lessons and assessments.