p ⇒ q 是什麼意思？從集合角度看，A⊆B 就是充分條件
給出 p 和 q，判斷 p 是 q 的什麼條件。資料會實時記錄並畫出統計圖。
| 題號 | p | q | 答案 | 結果 |
|---|
剛才的遊戲中，我們判斷了 p 是 q 的什麼條件。仔細想想：
人教版必修第一冊（P18）：
一般地，如果 p ⇒ q，那麼稱 p 是 q 的充分條件，q 是 p 的必要條件。
如果 p ⇏ q，那麼稱 p 是 q 的不充分條件，q 是 p 的不必要條件。
設 p: x∈A，q: x∈B。集合 A 與 B 的關係決定了條件型別：
從集合角度看，A⊆B 等價於 p 是 q 的充分條件。這是因為：如果 x∈A，那麼 x 一定在 B 中（因為 A 包含於 B），所以 p⇒q。
設 p: x∈A，q: x∈B。用調節滑塊改變集合 A 與 B 的包含關係，觀察條件型別如何變化。
# 用集合視角判斷條件 # p:x∈A, q:x∈B # A⊆B ⟹ p是q的充分條件 def condition_type(A, B): a_sub_b = A <= B # A⊆B b_sub_a = B <= A # B⊆A if a_sub_b and b_sub_a: return "充要" if a_sub_b: return "充分不必要" if b_sub_a: return "必要不充分" return "既不充分也不必要" print(condition_type({3}, {1,2,3})) # 充分不必要 print(condition_type({1,2}, {1,2})); # 充要
充分不必要 充要
# 批次判斷常見數學條件 def condition_type(A, B): a_sub_b, b_sub_a = A <= B, B <= A if a_sub_b and b_sub_a: return "充要" if a_sub_b: return "充分不必要" if b_sub_a: return "必要不充分" return "既不充分也不必要" # 用區間表示集合（簡化） # x>2 對應 (2,∞), x>1 對應 (1,∞) # (2,∞) ⊆ (1,∞) ⟹ 充分不必要 tests = [ ("x>2 vs x>1", {3,4}, {2,3,4}), ("x²=4 vs x=2", {-2,2}, {2}), ("整數 vs 有理數", {1,2}, {0.5,1,2}), ] for name, A, B in tests: print(f"{name}: {condition_type(A, B)}")
x>2 vs x>1: 充分不必要 x²=4 vs x=2: 必要不充分 整數 vs 有理數: 充分不必要