十分条件とは？
じゅうぶんじょうけん
十分条件とは、ある命題「PならばQ」が成り立つとき、QにとってのPのことで、論理学・数学における条件の強さを示す概念です。
十分条件（じゅうぶんじょうけん）とは、論理学・数学において「P ならば Q（P → Q）」が真であるとき、P は Q であるための十分条件であるといいます。つまり、P が成り立てばそれだけでQ が確実に成り立つほど「十分な」根拠が揃っている、という意味合いです。
対概念として必要条件があります。「P → Q」が成立するとき、Q は P であるための必要条件です（Q が成り立たなければ P も成り立たない）。両方が同時に成り立つ、すなわち「P → Q」かつ「Q → P」のとき、P と Q は必要十分条件（同値）の関係にあり、「P ⟺ Q」と書きます。
具体的な例で整理すると次のようになります。
- 「正三角形である」→「二等辺三角形である」：正三角形であることは二等辺三角形の十分条件（逆は成り立たない）
- 「整数が4の倍数」→「整数が2の倍数」：4の倍数であることは2の倍数の十分条件
- 「x = 2」→「x² = 4」：x = 2 は x² = 4 の十分条件（x = −2 でも x² = 4 となるため逆は不成立）
十分条件・必要条件の区別は、数学の証明・論理問題で頻繁に問われるほか、日常の因果関係の分析や、法律・科学における条件の厳密な記述にも応用される重要な考え方です。
使い方・例文
「雨が降っている（P）ならば地面が濡れている（Q）」が成り立つとき、「雨が降っている」は「地面が濡れている」ための十分条件です（散水などで地面が濡れる場合もあるため、必要条件ではありません）。
この用語をシェア
最終更新: