本文へスキップ

必要条件とは?

ひつようじょうけん

必要条件とは、ある命題が成り立つために欠かせない前提条件で、それがなければ結論が成り立たない関係を指します。

必要条件(ひつようじょうけん、necessary condition)は、論理学数学における基本概念の一つです。「AならばB」という命題があるとき、BはAの必要条件といいます。言い換えると、AであればBは必ず成り立つ、つまりBが成り立たなければAは絶対に成り立たない、という関係です。

必要条件と対になる概念として「十分条件(sufficient condition)」があります。

  • 十分条件:「AならばB」が成り立つとき、AはBの十分条件(Aが成り立てばBは必ず成り立つ)
  • 必要条件:「AならばB」が成り立つとき、BはAの必要条件(Bが成り立たなければAは成り立たない)
  • 必要十分条件:「AならばB」かつ「BならばA」が両方成り立つとき(A⟺B)

具体例で考えると、「日本人である」ことは「日本語が母語である」ための必要条件ではありません(外国で育った日本人も多い)。一方、「整数が偶数である」ことは「整数が4の倍数である」ための必要条件です(4の倍数はすべて偶数だから)。

数学の証明や論理的な議論において、必要条件と十分条件を正確に区別することは非常に重要です。「〜でなければならない」という必然性の確認に必要条件の概念が使われます。

使い方・例文

数学の問題で「三角形の内角の和が180度であること」は「三角形が存在すること」の必要条件の一例です。試験問題で「必要条件か、十分条件か」を判定する問いは高校数学でよく出題されます。

この用語をシェア

𝕏 でポスト LINE

最終更新:

関連用語