合格大作戦 数学用語辞典 › 集合と論理
大学受験
必要条件・十分条件とは
命題「」( ならば )が成り立つとき、 は であるための十分条件、 は であるための必要条件といいます。両方向とも成り立つときは必要十分条件です。
うかるくん
必要条件と十分条件、いつもどっちがどっちか分からなくなります…
合格先生
矢印の根元が十分、先が必要。集合なら小さいほうが十分だよ。「京都市に住む ⇒ 京都府に住む」で思い出そう。
この用語のポイント
- が成り立つとき、根元 が十分条件、先 が必要条件
- 集合で考えると小さいほうが十分、大きいほうが必要
- 両方向とも成り立てば必要十分条件(同値、)
やさしく言うと
- 十分条件:それが成り立てば、もう十分(必ず相手も成り立つ)。
- 必要条件:相手が成り立つには、少なくともそれが必要(でも、それだけでは足りないこともある)。
身近な例で考えてみましょう。
- 住んでいる場所:「京都市に住んでいる」なら、必ず「京都府に住んでいる」といえます。だから「京都市に住む」は「京都府に住む」ための十分条件です。逆に、京都市に住むには、京都府に住んでいることが必要です。
- 大学の受験:大学に合格するには、願書を出すことが必要です。でも、願書を出しただけで合格するとは限りません。「願書を出す」は「合格する」ための必要条件ですが、十分条件ではありません。
- テストの点:合格点が 60点のテストで「100点を取る」なら、必ず合格です。「100点を取る」は「合格する」ための十分条件です。でも、合格するのに100点は必要ありません。
まとめると、「 ならば 」が成り立つとき、 は十分条件、 は必要条件です。
集合の図で考える
条件 をみたすものの集合を とします。 が成り立つのは、 が にすっぽり入る()ときです。小さいほうが十分条件、大きいほうが必要条件と覚えると、まちがえません。

サクラちゃん
小さい集合のほうが十分条件、大きい集合のほうが必要条件よ!
図で見る(数直線で考える)
不等式の条件は、数直線の上の範囲で考えると分かりやすくなります。「」と「」をくらべてみましょう。
をみたす数(4 や 10 など)は、どれも もみたします。だから は真です。反対に、 は をみたしますが をみたさないので、 は偽です。範囲がせまい(小さい) が十分条件、範囲が広い(大きい) が必要条件です。
うかるくん
せまいほうが「十分」なのは、なんだか逆な気がします…
合格先生
せまい条件はきびしい条件なんだ。きびしい条件をクリアしていれば、ゆるい条件は自動的にクリアできる。だから「それだけで十分」なんだよ。
例で確かめる
| 命題 | 成り立つ? | 言い方 |
|---|---|---|
| ○(真) | は の十分条件 | |
| ×( が反例) | は の必要条件ではない | |
| 正方形 ⇒ 長方形 | ○ | 正方形であることは長方形であるための十分条件 |
| かつ | ○ | 逆は×()なので、十分条件だが必要条件ではない |
| ×() | 逆も×()なので、どちらでもない |
両方向とも成り立つ( と )とき、 は であるための必要十分条件といい、 と書きます。このとき と は同値です。例:「」⇔「」。
問題の解き方(4択)
入試では「 は であるための( )」に、①必要十分条件 ②必要条件だが十分条件でない ③十分条件だが必要条件でない ④どちらでもない、を選ぶ形がよく出ます。
- が成り立つか調べる(成り立てば は十分条件)
- が成り立つか調べる(成り立てば は必要条件)
- 成り立たないほうは反例を1つあげて確かめる
○ 正しい判断
- が真、 が偽 → 十分条件
- が偽、 が真 → 必要条件
- 両方真 → 必要十分条件
- 両方偽 → どちらでもない
- 偽を示すときは反例を1つあげる( で )
× まちがいのもと
- 「必要」を「重要」の意味に取る
- 矢印の向きを確かめずに答える
- 具体的な数を1つ入れて成り立ったから「真」とする(全部で成り立つ必要がある)
- 反例を考えずに「なんとなく偽」とする
- 「 は の」の と を入れかえて答える
テスト・入試ではこう出る
数学Ⅰの「集合と命題」で習い、上の4択の形で定期テストにも入試にもよく出ます。大学入学共通テストのような選択式の問題では、方程式・不等式・図形・整数など、ほかの単元の内容と組み合わせて問われることも多いです。記述式の問題では、「必要十分条件を求めよ」という形で、同値な条件に言いかえる力が問われます。
例題1(方程式)
は実数とします。「」は「」であるための何条件ですか。
- :、: とする。
- : なら 。真。
- : を解くと より 。 のとき は成り立たないので偽(反例 )。
- だけ成り立つので、 は十分条件。
答え 十分条件だが必要条件でない
例題2(不等式の組)
は実数とします。「 かつ 」は「 かつ 」であるための何条件ですか。
- : かつ 、: かつ とする。
- :両方正なら、和も積も正。真。
- : なので は同じ符号。両方負なら になってしまうので、両方正。真。
- 両方向が成り立つので、必要十分条件。
答え 必要十分条件(2つの条件は同値)

うかるくん
まず p⇒q と q⇒p を書き出す。偽のほうは反例を1つ見つければいいんだ!
まちがえやすい点

合格先生
矢印の向きを書かずに答えるのが失敗のもと。まず を書いて、成り立つか確かめよう!
- 矢印の向きと「必要・十分」を逆にする:「 は であるための〜」の文では、 から出る矢印()が成り立てば十分条件です。
- 日常語の「必要」とまぜる:数学の「必要条件」は「それがないと成り立たない」という意味で、それだけで足りるとは限りません。原因と結果の意味もありません。
- 「〜であるための」の主語を取り違える:「 は であるための必要条件」と「 は であるための必要条件」は別の意味です。式 を書いてから答えましょう。
- 1つの例で成り立ったから「真」とする:命題が真であるには、条件をみたすすべてで成り立つ必要があります。反対に、偽を示すには反例が1つあれば十分です。
- 「せまい=必要」と覚えちがえる:集合や範囲がせまいほうが十分条件です。「京都市(せまい)⇒ 京都府(広い)」で確かめましょう。
ことばの由来
英語では、必要条件を necessary condition(ネセサリー コンディション)、十分条件を sufficient condition(サフィシェント コンディション)といいます。sufficient は「足りる・十分な」という意味です。必要十分条件は necessary and sufficient condition で、英語の本では「if and only if」(〜のとき、かつそのときに限り)という言い方もよく使われます。
ミニ問題
問題1 は実数とします。「」は「」であるための、①必要十分条件 ②必要条件だが十分条件でない ③十分条件だが必要条件でない ④どちらでもない、のどれですか。
答えと解き方を見る
③ 十分条件だが必要条件でない です。
は真(3より大きければ1より大きい)。 は偽(反例 )。 だけが成り立つので、十分条件です。数直線では、 の範囲が の範囲にすっぽり入ります。
問題2 三角形 ABC で、「」は「」であるための何条件ですか(①〜④で答えましょう)。
答えと解き方を見る
① 必要十分条件 です。
二等辺三角形の底角は等しいので、 は真。逆に、2つの角が等しい三角形は二等辺三角形なので、 も真です。両方向が成り立つので必要十分条件です。
問題3 は実数とします。「」は「」であるための何条件ですか(①〜④で答えましょう)。
答えと解き方を見る
② 必要条件だが十分条件でない です。
は偽(反例 )。 は真。「 は であるための」の は で、 だけが成り立つので、 は必要条件です。
関連する公式・用語
公式辞典で、くわしい証明と例題を見る
あわせて覚えたい用語
よくある質問
必要条件と十分条件の覚え方は?
「p⇒q」の矢印の根元(p)が十分条件、矢印の先(q)が必要条件です。集合の図では、小さいほうが十分条件、大きいほうが必要条件になります。
必要十分条件とは何ですか?
p⇒qとq⇒pの両方が成り立つことです。このときpとqは同値で、p⇔qと書きます。
必要条件か十分条件かを判断する手順は?
p⇒qとq⇒pのそれぞれが成り立つかを調べます。成り立たないほうは反例を1つあげて確かめます。
なぜ小さい集合が十分条件なのですか?
小さい集合の条件はきびしい条件だからです。きびしい条件をみたしていれば、それをふくむゆるい条件も必ずみたすので、それだけで十分といえます。
どちらでもない、とはどんなときですか?
p⇒q も q⇒p も成り立たないときです。たとえば「x>0」と「x²>1」は、どちらの向きにも反例があるので、どちらでもありません。
必要条件・十分条件は何年生で習いますか?
高校の数学Ⅰの「集合と命題」で習います。
出典・参考
- 文部科学省「高等学校学習指導要領(平成30年告示)解説 数学編」数学Ⅰ(数と式:集合と命題)
最終更新:2026年10月13日/作成:大学受験合格大作戦


