“

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

명제 p→q가 거짓임을 보이는 반례를 찾는 문제입니다.

접근법:
명제 ‘p이면 q이다’가 거짓임을 보이는 반례는, **가정 p는 만족하지만(p에 속하지만), 결론 q는 만족하지 않는(q에 속하지 않는)** 원소들의 집합입니다.
이를 집합으로 표현하면 **P-Q** (또는 P∩Qᶜ) 입니다.
주어진 조건 p, q를 만족하는 진리집합 P, Q를 각각 구하고, P-Q에 속하는 원소를 찾습니다.

주의할 점:
반례는 반드시 가정(P)의 원소 중에서 찾아야 합니다. 가정 자체를 만족하지 않는 원소는 반례가 될 수 없습니다.

”

명제가 거짓임을 보이는 반례 찾기 (P-Q)