命題と集合の包含関係、そして数直線を使った不等式の問題は、高校数学の中でも特につまずきやすい分野です。特に「なぜその比較になるのか」が直感とズレて感じられることがあります。本記事では、命題 p⇒q が真となる条件と数直線での考え方を整理して解説します。
① 命題 p⇒q の基本構造
命題 p⇒q が真であるとは、「pを満たすすべてのxがqも満たす」という意味です。
つまり、集合で言えば「p ⊂ q（pがqに含まれる）」という関係になります。
この視点が最も重要な出発点です。
② p と q の集合を数直線で表す
p: −1≦x≦3 は、数直線上では区間 [-1, 3] を表します。
q: |x−a|>3 は「x < a−3 または x > a+3」という2つの外側の領域になります。
つまり q は中央をくり抜いた「両側に離れた2つの無限区間」です。
③ 「含まれる」とはどういう意味か
p ⊂ q とは、区間 [-1, 3] のすべての点が q の中に入っている状態です。
q は中央に穴（a−3 と a+3 の間）があるため、その穴の中に p が入るとアウトになります。
したがって、p が q に入るには「p全体が左側か右側に完全に離れている必要」があります。
④ なぜ 3 < a−3 や a+3 < −1 になるのか
ここが直感とズレるポイントです。
p = [-1, 3] が q に含まれるには、「pの右端3が左側領域より左にある」か「pの左端−1が右側領域より右にある」必要があります。
つまり次の2パターンになります。
① p全体が左側にある → 3 < a−3
② p全体が右側にある → a+3 < −1
これは「区間が交わらない条件」を端同士で判定しているだけです。
⑤ 直感とのズレの正体
「3より大きいなら含まれないのでは？」という違和感は、qを「穴の空いた集合」として見ていないことが原因です。
qは連続した区間ではなく、左右に分かれた2つの集合なので、「中に入る」ではなく「完全に外側にある」ことを考えます。
そのため、境界は“中心”ではなく“端同士の比較”になります。
まとめ
命題 p⇒q が真である条件は「pの区間がqの集合に完全に含まれること」です。
qが左右に分かれた集合であるため、pはそのどちらか片側に完全に離れる必要があります。
その結果として「3 < a−3 または a+3 < −1」という端点比較が導かれます。
コメント