명제 p → q에서 가정인 p와 결론인 q는 조건이에요.

명제 p → q가 참이면 p와 q가 그냥 조건이 아니라 이름이 생겨요. 필요조건, 충분조건, 필요충분조건이라는 이름인데, 언제 어떤 경우에 이런 이름으로 부르는지 공부할 거예요.

또, 필요조건, 충분조건, 필요충분조건과 진리집합 사이의 관계도 알아볼거고요.

여기서는 부등식, 수직선과 관련된 문제들도 많이 나오니까 [중2 수학] 연립부등식, 연립부등식의 풀이했던 내용을 다시 한 번 떠올려보세요.

필요조건, 충분조건, 필요충분조건

명제의 참, 거짓, 반례에서 명제 p → q가 참일 때 기호로 p ⇒ q로 쓴다고 했죠? 이때, 조건 p를 q이기 위한 충분조건, 조건 q를 p이기 위한 필요조건이라고 해요.

화살표가 나가는 가정이 충분조건, 화살표를 받는 결론이 필요조건이죠.

만약에 q → p라면 q는 p이긴 위한 충분조건, p는 q이기 위한 필요조건이에요.

p ⇔ q라면 어떨까요? 화살표는 주는 게 충분조건, 받는 게 필요조건인데, 이때 p와 q는 화살표를 주기도 하면서 받기도 하죠? 그래서 필요조건이면서 충분조건이므로 줄여서 p는 q이기 위한 필요충분조건이라고 해요. 마찬가지로 q도 p이기 위한 필요충분조건이에요.

진리집합

p의 진리집합을 P, q의 진리집합을 Q라고 할 때, p ⇒ q라면 P ⊂ Q에요. q ⇒ p라면 Q ⊂ P죠.

p ⇔ q라면 어떻게 될까요? P ⊂ Q이고, Q ⊂ P에요. 부분집합, 부분집합의 개수 구하기에서 A ⊂ B이고 B ⊂ 이면 A = B라고 했죠? 따라서 p ⇔ q이면 P = Q에요.

P ⊂ Q이면 p는 q이기 위한 충분조건
P ⊂ Q이면 q는 p이기 위한 필요조건
P = Q이면 p는 q이기 위한 필요충분조건

조건은 필요조건, 충분조건, 필요충분조건 세 가지가 있어요. 이 중에서 필요충분조건은 진리집합이 서로 같은 경우라서 알아보기 쉬워요. 남은 건 충분조건과 필요조건인데, 둘 중 하나만 구별하는 법을 정확하게 알아두세요. 하나만 정확하게 파악하면 나머지 하나는 자동으로 결정되는 거잖아요.

충분조건: 가정, 화살표가 나가는 쪽, 부분집합
필요조건: 결론, 화살표를 받는 쪽, 부분집합을 포함하는 집합
필요충분조건: 충분조건 + 필요조건

두 조건 p: a ≤ x < 5, q: 3 < x ≤ b에서 조건 p가 q이긴 위한 필요조건이고, q는 p이기 위한 충분조건일 때, a, b의 범위를 구하여라.

p가 필요조건, q가 충분조건으로 필요조건인 p가 화살표를 받는 형태인 q ⇒ p이고, 진리집합은 Q ⊂ P에요. 부등식을 수직선에 나타내보면 쉬워요.

3 < x ≤ b가 a ≤ x < 5의 안에 들어가야 하니까 수직선으로 그려보면 위 그림처럼 돼요.

a는 3보다 왼쪽에 있으면 되는데, 3이 되어도 괜찮죠? Q에는 3이 포함되어 있지 않으니까요. 따라서 a ≤ 3이에요.

b는 5보다 왼쪽에 있으면 되는데, 5가 되면 안 돼요. Q에는 5가 들어있는데, P에 5가 들어있지 않으면 Q ⊂ P가 안 되잖아요. b < 5여야 하는데 여기에 3 < x이므로 b도 3보다 커야 해요. 따라서 3 < b < 5

함께 보면 좋은 글

부분집합, 부분집합의 개수 구하기
명제와 조건, 진리집합, 조건의 부정
명제의 참, 거짓, 반례
명제의 역, 이, 대우, 삼단논법