Core · 충분·필요
진리집합의 포함관계
$p\Rightarrow q$ (참) $\iff P\subset Q$ : $p$ 는 $q$ 의 충분조건, $q$ 는 $p$ 의 필요조건
$p\Rightarrow q$ 이고 $q\Rightarrow p$ 이면 ($P=Q$) 필요충분조건($p\Leftrightarrow q$). 외우는 법: 화살표가 나가는 쪽이 충분, 들어오는 쪽이 필요.
Interactive · 실험실
포함관계 실험실
예시를 골라 보세요. 두 진리집합의 포함관계가 그려지고, $p$ 가 $q$ 의 충분·필요·필요충분 중 무엇인지 판정됩니다.
Quick Check · 즉문즉답
즉시 점검
Q1. $P\subset Q$ 일 때 $p$ 는 $q$ 의 무슨 조건인가?
Q2. 같은 상황에서 $q$ 는 $p$ 의 무슨 조건인가?
Q3. $P=Q$ 일 때 $p$ 는 $q$ 의 무슨 조건인가?
Practice · 연습
연습
01★
$p$: '$x=1$', $q$: '$x^2=1$'. $p$ 는 $q$ 의 무슨 조건인가? ($\{1\}\subset\{1,-1\}$)
02★★
$p$: '$x-1=0$', $q$: '$x=1$'. $p$ 는 $q$ 의 무슨 조건인가?
작으면 충분, 크면 필요
$P\subset Q$ — 작은 $P$ 가 충분조건, 큰 $Q$ 가 필요조건.
$P=Q$ 이면 필요충분.
"Smaller is sufficient; larger is necessary."