論理と集合の基本３｜必要条件と十分条件

【論理と集合の基本2|ド・モルガンの法則】の続きです．

数学では「仮定」が何で，「結論」が何かということを意識するのは非常に重要です．これを間違えるとまったく意味のない議論になってしまい，すべてが破綻することもあります．

たとえば，「であるとき，を証明せよ．」という問いで，証明の中でを使ってしまうという誤りがよくあります．これは「まだが成り立つか分かっていないのに，が成り立つ前提で話を進めてしまっている」というのが間違いです．

この記事では，論理関係の基本として，必要条件，十分条件について詳しく説明します．

命題と条件

必要条件，十分条件について説明する前に，「命題」と「条件」の概念について整理しておきます．

しかし，この節はあまり深く考えるとよく分からなくなる恐れがあるので，ある程度読み飛ばして次の「必要条件と十分条件」の節に進んでしまっても構いません．

命題

「命題」という概念について説明しますが，私の持っている教科書には次のように書かれています．

文や式で表された事柄で，正しいか正しくないかが明確に決まるものを命題という．

少し曖昧な感じがする人はその感覚は正しいです．厳密に命題というものを定義するには「数理論理学」という数学を学ぶ必要があるので，詳しくはここでは触れません．

要は「彼女は人間である．」や「彼の身長は180cm以上ある．」などの，正しいか正しくないかが客観的に判断される事柄を「命題」といいます．

一方，「彼女は頭が良い．」や「彼は背が高い．」などの，判断する人の主観に依存する事柄は命題とは言いません．

また，命題が正しいときは「命題は『真』である．」といい，正しくないときは「命題は『偽』である．」といいます．「真」と「偽」を併せて「真偽」という言葉もよく使います．

たとえば，「1は整数である．」は真で，「2.5は整数である．」は偽です．また，「平行四辺形は四角形である．」は真で，「四角形は平行四辺形である．」は偽です．

このあたりの命題についても，あとで詳しく書きます．

条件

「条件」も命題と同様に厳密に定義することは難しいので，教科書に載っている説明を書きます．

文字を含んだ文や式において，文字のとる値を変えると，真偽が変わるものがある．(中略)このような文字を含んだ文や式を，に関する条件という．

たとえば，「は整数である．」や「は3以上の奇数である．」は条件です．また，当然，文字はに限る必要もなく，「は要素を2つ以上もつ集合である．」なども条件です．

「命題」はそれ自身が正しいか正しくないかが決まるものですが，たとえば「は整数である．」という「条件」は，ただが整数だといっているだけで，本質的に真偽を考えることはしません．

ですから，簡単には「命題」は真偽が決まるもの，「条件」は真偽が決まるわけではないものといえます．高校数学のうちでは，このように考えておいても問題は起きないでしょう．

命題と条件

命題は条件とを用いて「ならば，である」の形で書かれることが多くあります．

たとえば，条件とを

：は4の倍数である」，
：は偶数である」

と定めると，「ならば，である」は

「が4の倍数ならば，は2の倍数である」

ということになり，これは「真」の命題です．

また，条件とを

「三角形は二等辺三角形である」，
「三角形は正三角形である」

と定めると，「ならば，である」は

「三角形が二等辺三角形ならば，は正三角形である」

ということになり，これは「偽」の命題です．

必要条件と十分条件

それではこの記事の本題の「必要条件」と「十分条件」について説明します．

[必要条件，十分条件]　条件，に対し，命題「ならば，である」を，

と書く．命題「」が真であるとき，このとき「は(の)十分条件である」といい，「は(の)必要条件である」という．

また，命題「」と命題「」がともに真であるとき，は(の)必要条件かつ十分条件であるが，このことを「は(の)必要十分条件である」という．

また，が(の)必要十分条件であるとき，「とは同値である」という．

なお，が(の)必要十分条件なときは，は(の)必要十分条件でもあります．なので，「とが同値である」というのと「とが同値である」というのは同じことになります．

さて，すでに「命題の真偽」については少し説明しましたが，ここでもう一度触れておきます．

「命題『』が真である」ということを丁寧に書けば次のようになります．

が成り立っているとき，必ずが成り立つ．

この「必ず」という部分が非常に重要です．

が成り立っているとき，「必ず」が成り立っていて初めて，「命題『』は真である」と言えるのです．

逆に言えば，が成り立っているのに，が成り立たない場合が1つでもあれば，「命題『』は偽である」ということになります．

また，のどちらが必要条件で，十分条件かということですが，これを高校生の時の私は次のように覚えました．

「矢」は先端の矢じりの部分がないと「矢」とは呼べない．よって「矢」は先端が必要．だから，「矢印」の先が「必要条件」だ！

覚え方にはさまざまあると思いますが，自分の分かりやすいように覚えれば良いと思います．

本当は「必要条件」，「十分条件」の概念からこの名前に納得できるのが一番良いのですが，そこまで説明する余裕はこの記事にはないので，これについては省略します．

例1

次の命題，はそれぞれ他方の必要条件か，十分条件か．

；A君はX高校の生徒である，
：A君は高校生である

[1]　まず，命題「」の真偽をみます．「A君はX高校の生徒である」とするとき，「A君は高校生である」は「必ず」正しいと言えるでしょうか？

X高校の生徒であるということはそもそも高校生ですから，命題「」は真です．

したがって，「は(の)十分条件」となります．

[2]　次に，命題「」の真偽をみます．「A君は高校生である」とするとき，「A君はX高校の生徒である」は「必ず」正しいと言えるでしょうか？

たとえば，A君はY高校の生徒かもしれませんし，Z高校の生徒かもしれませんから，が必ず成り立つとは言えません．

したがって，「は(の)必要条件でない」となります．

以上をまとめて，

は(の)十分条件だが必要条件でない

となります．

また，「がの十分条件である」ことと「がの必要条件である」ことは同じであり，「はの必要条件でない」ことと「がの十分条件でない」ことは同じですから，

は(の)必要条件だが十分条件でない．

となります．

例2

次の命題，は他方の必要条件か，十分条件か．

：は偶数である，
：は4の倍数である

[1]　まず，命題「」の真偽をみます．「は偶数である」とするとき，「は4の倍数である」は「必ず」正しいと言えるでしょうか？

たとえば，は偶数なのでは満たしています．しかし，は4の倍数ではないのではみたしていません．

したがって，「は十分条件でなく，は必要条件でない」となります．

[2]　次に，命題「」の真偽をみます．は「は4の倍数である」とするとき，「は偶数である」は「必ず」正しいと言えるでしょうか？

が4の倍数であるとき，は整数によってと表せます．このとき，は整数で，と表せますからは偶数です．

したがって，「は必要条件，は十分条件」となります．

以上をまとめて，

は(の)必要条件だが十分条件でない．
は(の)十分条件だが必要条件でない．

となります．

例3

次の命題，は他方の必要条件か，十分条件か．

「は6の倍数である」，
「は2の倍数かつ3の倍数である」

[1]　まず，命題「」の真偽をみます．「は6の倍数である」とするとき，「は2の倍数かつ3の倍数である」は「必ず」正しいと言えるでしょうか？

が6の倍数であるとき，は整数によってと表せます．このとき，は整数で，と表せますから，は3の倍数です．また，は整数で，と表せますから，は2の倍数です．

したがって，「は十分条件，は必要条件」となります．

[2]　次に，命題「」の真偽をみます．は「は2の倍数かつ3の倍数である」とするとき，「は6の倍数である」は「必ず」正しいと言えるでしょうか？

が2の倍数であるとき，は整数によってと表せます．さらに，が3の倍数であれば，が3の倍数でなければなりませんから，は整数によってと表せます．よって，と表せますからは偶数です．

したがって，「は必要条件，は十分条件」となります．

以上をまとめて，

は(の)必要十分条件である．
は(の)必要十分条件である．

となります．

まとめ

問題集ではさらっと解答が書かれていることが多いのですが，必要条件，十分条件を調べるときは，いつでも上の各例の[1]，[2]のように，の真偽をみなければなりません．

このとき，真だと思った場合は「証明」ができれば，偽だと思った場合「反例」を見つければ，それらの判断が正しいことが分かります．

自分で必要条件，十分条件を調べるときには上の例のように基本に立ち戻って考えることが重要です．

【論理と集合の基本4|命題と集合の関係】に続きます．