“

[문제 923] 핵심 개념 및 풀이 전략

필요조건, 충분조건, 필요충분조건을 진리집합의 포함 관계로 판별하는 문제입니다.

접근법:
p → q (p이면 q이다) 라는 명제에 대하여,
(충분조건) p가 q이기 위한 충분조건 ⇔ p→q가 참 ⇔ P⊂Q
(필요조건) p가 q이기 위한 필요조건 ⇔ q→p가 참 ⇔ Q⊂P
(필요충분조건) p가 q이기 위한 필요충분조건 ⇔ p→q와 q→p가 모두 참 ⇔ P=Q
1. 각 보기의 p, q에 대한 진리집합 P, Q를 구합니다.
2. 두 진리집합의 포함 관계를 확인하여 어떤 조건에 해당하는지 판별합니다.

주의할 점:
화살표를 주는 쪽(p)이 충분조건, 받는 쪽(q)이 필요조건으로 기억하면 편리합니다. (p는 q에게 화살표를 주기에 충분하다.)

”

필요조건, 충분조건의 진리집합 포함 관계 이해