“
주어진 명제의 역과 대우를 구하고, 그 참/거짓을 판별하는 문제입니다.
접근법:
1. (역) ‘x²=9 이면 |x|=3 이다.’ → |x|=3이면 x는 3 또는 -3이고, 이를 제곱하면 항상 9가 되므로 역은 **참**입니다.
2. (대우) ‘x²≠9 이면 |x|≠3 이다.’ → 원래 명제가 참이므로 대우도 **참**입니다.
3. (원래 명제) ‘|x|=3 이면 x²=9 이다.’ → 원래 명제도 참입니다.
주의할 점:
진리집합의 포함 관계로 참/거짓을 판단할 수 있습니다. p:|x|=3 → P={-3,3}, q:x²=9 → Q={-3,3}. P=Q이므로 p→q와 q→p가 모두 참입니다.
”
명제의 역과 대우의 참/거짓 판별하기
“
역과 대우의 정의를 이해하고, 그 참/거짓을 판별하는 문제입니다.
접근법:
(원래 명제) p → q
(역) q → p (가정과 결론을 바꿈)
(대우) ~q → ~p (역을 취한 뒤 각각 부정)
1. 주어진 명제의 역(q→p)과 대우(~q→~p)를 각각 문장으로 만듭니다.
2. 원래 명제, 역, 대우 각각의 참/거짓을 판별합니다.
3. **원래 명제와 대우는 항상 참/거짓을 함께합니다.**
4. ‘역이 참인 명제’는 q→p가 참인 것을 찾으라는 의미입니다.
주의할 점:
네 가지 관계(원래 명제, 역, 이, 대우)를 정확히 구분하고, 특히 명제와 대우의 진리값이 같다는 ‘대우법’은 매우 중요한 논리 규칙입니다.
”
명제의 역과 대우의 정의 및 참/거짓 판별하기
“
명제 p→q와 그 부정 ~p→q가 모두 참일 때의 진리집합 관계를 묻는 문제입니다.
접근법:
1. p→q가 참이므로, P⊂Q 입니다.
2. ~p→q가 참이므로, Pᶜ⊂Q** 입니다.
3. P와 P의 바깥 영역(Pᶜ)이 모두 Q에 포함되려면, P와 Pᶜ의 합집합, 즉 **전체집합 U가 Q에 포함**되어야 합니다.
4. U⊂Q이고 Q는 U의 부분집합이므로, 결국 **Q=U** (전체집합)가 되어야 합니다.
5. 이 관계를 항상 만족하는 보기를 찾습니다.
주의할 점:
두 가지 포함 관계를 벤 다이어그램으로 그려보면, Q가 전체 영역을 모두 덮어야만 두 조건을 만족시킬 수 있음을 시각적으로 확인할 수 있습니다.
”
두 명제가 모두 참일 때의 진리집합 관계 (Q=U)
“
‘어떤’을 포함하는 명제가 거짓이 될 조건을 이용하는 문제입니다.
접근법:
1. ‘어떤 x에 대하여 p이다’가 **거짓**이라는 것은, 그 부정인 ‘모든 x에 대하여 ~p이다’가 참이라는 의미입니다.
2. 조건 p는 x²+6x+k ≤ 0 입니다.
3. 조건 ~p는 x²+6x+k > 0 입니다.
4. ‘모든 실수 x에 대하여 x²+6x+k > 0이다’가 참이 되려면, 아래로 볼록한 이차함수가 항상 x축 위에 떠 있어야 합니다.
5. 이는 이차방정식 x²+6x+k=0이 **허근**을 가져야 함을 의미합니다.
6. 따라서 이차방정식의 **판별식 D
주의할 점:
913번 문제와 비교하여, ‘모든’과 ‘어떤’, ‘참’과 ‘거짓’에 따라 판별식의 부등호(≥ 또는
”
어떤’ 명제가 거짓일 조건 (부정 활용하여 D
“
‘모든’을 포함하는 명제가 거짓이 될 조건을 이용하는 문제입니다.
접근법:
1. ‘모든 x에 대하여 p이다’가 거짓이라는 것은, 그 부정인 ‘어떤 x에 대하여 ~p이다’가 참이라는 의미입니다.
2. 조건 p는 x²-2(a-1)x+9 > 0 입니다.
3. 조건 ~p는 x²-2(a-1)x+9 ≤ 0 입니다.
4. ‘어떤 x에 대하여 x²-2(a-1)x+9 ≤ 0이다’가 참이 되려면, 이 부등식을 만족하는 x가 **적어도 하나 존재**해야 합니다.
5. 아래로 볼록한 이차함수의 값이 0 이하인 지점이 존재하려면, 이차함수가 x축과 만나거나(중근) x축 아래로 내려가야(두 실근) 합니다.
6. 따라서 이차방정식의 **판별식 D ≥ 0** 이어야 합니다.
주의할 점:
명제의 참/거짓을 다루기 어려울 때는, 그 부정의 참/거짓을 생각해보는 것이 좋은 전략입니다.
”
모든’ 명제가 거짓일 조건 (부정 활용하여 D≥0)
“
‘어떤’을 포함하는 명제가 참이 될 조건을 이용하는 문제입니다.
접근법:
1. 명제 ‘P에 속하는 어떤 x에 대하여 x는 Q에 속한다’가 참이 되려면, **P와 Q의 교집합이 공집합이 아니어야** 합니다 (P∩Q ≠ ∅). 즉, 두 집합은 적어도 하나의 공통 원소를 가져야 합니다.
2. 두 집합 P와 Q의 범위를 수직선 위에 나타냅니다.
3. 두 범위가 겹치는 부분이 존재하도록 하는 a의 범위를 찾습니다.
4. 두 범위가 겹치려면, ‘한쪽의 시작점 5. 두 부등식의 공통 범위를 구하여 정수 k의 개수를 셉니다.
주의할 점:
‘어떤’ 명제가 참일 조건은 ‘교집합이 공집합이 아니다’ 입니다. ‘모든’ 명제가 참일 조건(P⊂Q)과 혼동하지 않도록 주의해야 합니다.
”
어떤’ 명제가 참일 조건 (교집합 존재) 이해하기
“
부정 명제(~p→q)가 참이 될 조건을 이용하는 문제입니다.
접근법:
1. 명제 ~p→q가 참이 되려면, **Pᶜ ⊂ Q** 여야 합니다.
2. 먼저 p의 진리집합 P를 구하고, 이를 이용해 여집합 Pᶜ의 범위를 구합니다.
3. Pᶜ과 Q의 범위를 수직선 위에 나타내고, Pᶜ이 Q에 포함되도록 하는 부등식을 세웁니다.
4. 부등식을 풀어 a의 최솟값을 구합니다.
주의할 점:
부정(~)이 붙으면 진리집합은 여집합(ᶜ)이 된다는 점을 기억해야 합니다. 여집합의 범위를 구할 때 부등호의 방향과 등호 유무에 주의하세요.
”
부정 명제가 참일 조건과 진리집합 포함 관계 (Pᶜ⊂Q)
“
909번 문제와 동일하게, 명제가 참이 되도록 진리집합의 포함 관계를 이용하는 문제입니다.
접근법:
1. 명제 p→q가 참이므로, 진리집합 P⊂Q 여야 합니다.
2. P = {x | a-3 3. 수직선 위에 P가 Q에 포함되도록 그림을 그립니다.
4. P의 시작점과 끝점이 모두 Q의 범위 안에 있어야 하므로, 1 ≤ a-3 이고 a+1 ≤ 7 이라는 두 개의 부등식을 세웁니다.
5. 두 부등식을 모두 만족하는 a의 공통 범위를 구하고, 정수의 개수를 셉니다.
주의할 점:
포함 관계를 부등식으로 나타낼 때, 등호가 포함되는지 여부를 신중하게 판단해야 합니다. (이 문제에서는 양 끝점이 모두 포함되므로 등호가 들어갑니다.)
”
진리집합 포함 관계를 이용한 미지수 범위 찾기
“
주어진 명제가 참이 되도록 하는 미지수의 범위를 찾는 문제입니다. 진리집합의 포함 관계를 이용합니다.
접근법:
1. 명제 ‘p이면 q이다’가 참이 되려면, p의 진리집합 P가 q의 진리집합 Q에 **완전히 포함되어야** 합니다 (P⊂Q).
2. p와 q의 진리집합 P, Q를 각각 부등식으로 표현합니다.
3. 수직선 위에 P가 Q에 포함되도록 그림을 그립니다.
4. 수직선을 보고, 각 끝점의 대소 관계를 만족하는 부등식을 세웁니다. (-2 ≤ a 이고 5 ≤ a+4)
5. 두 부등식의 공통 범위를 찾아 정수 a의 최솟값을 구합니다.
주의할 점:
p→q가 참 ⇔ P⊂Q 라는 관계는 명제 단원에서 가장 중요한 핵심 원리 중 하나입니다.
”
명제가 참일 조건과 진리집합 포함 관계 (P⊂Q)
“
907번 문제와 동일하게, 명제 p→q가 거짓임을 보이는 반례가 속하는 집합을 찾는 문제입니다.
접근법:
1. 명제 p→q의 반례는 **P-Q** 집합에 속합니다.
2. (p 조건) x²-3x-4=0을 풀면 x=4 또는 x=-1. 따라서 P={-1, 4}.
3. (q 조건) x>0 이므로 Q는 0보다 큰 수의 집합입니다.
4. P-Q는 P의 원소 중 Q에 속하지 않는 것을 찾으면 됩니다. 4는 Q에 속하지만, -1은 Q에 속하지 않습니다.
5. 따라서 반례가 되는 원소는 -1 하나뿐입니다.
주의할 점:
각 조건의 진리집합을 정확하게 구하는 것이 첫 단계입니다.
”
방정식의 해를 이용해 명제의 반례 찾기
