論理と集合の基本４｜命題と集合の関係

【論理と集合の基本3|必要条件と十分条件】の続きです．

前回の記事では，条件とに対するの形の命題について，「必要条件」と「十分条件」を説明しました．

条件は集合を用いて表すことができるのですが，命題の真偽を集合の包含関係を用いて考えることができます．

この記事では，条件をみたす集合と条件をみたす集合を考えたときの，命題と集合，の関係について書きます．

条件と集合

たとえば，まず次の条件とを考えます．

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

このとき，命題は真です．

いま，条件とは「に関する条件」です．このとき，つぎの集合，を考えると，，はそれぞれ条件，をみたす全体の集合です．

は4の倍数，
は偶数

は「が4の倍数」ということなので，は「4の倍数全部の集合」です．は「が偶数」ということなので，は「偶数全部の集合」です．

このときの，条件，に対する，のような集合を「真理集合」と呼びます．

このとき，集合の包含関係をみるととなっています．これは，素朴に

，

と書き出せば分かります．

「命題の真偽」と「集合の包含関係」

上で「条件」(と)と「条件を表す集合」(と)を考えました．これについて，次の「命題と集合の関係」が成り立ちます．

[命題と集合の関係]　条件，を考え，，の真理集合をそれぞれ，とする．このとき，「命題が真である」ことと，「である」ことは同値

上の例をみると，たしかにこれが成り立っていることが分かります．逆に言えば，

「命題が偽である」ことと，「である」ことは同値

となります．なお，条件，に対し，であるとは，命題，がともに真であることをいいます．このことは前回の記事で説明した通りです．

さて，この「命題と集合の関係」は次のように理解することができます．

「命題が真である」とは「条件が成り立つとき，必ず条件が成り立つ」ということであり，一方，「」とは「集合に属する要素が全て集合にも属している」ということでした．

これは次のように言い換えることで同じことを言ってることが分かります．

「命題が真である」
⇔「条件が成り立つとき，必ず条件が成り立つ」
⇔「条件をみたすは必ず条件をみたす」
⇔「集合に属する要素が全て集合にも属している」
⇔

「命題と集合の関係」のイメージ

「命題と集合の関係」をベン図を使って表すことを考えます．

，を条件とし，，の真理集合をそれぞれ，とします．このとき，集合，の関係を3種類の場合に分けて考えます．

1. 
2. だが，でもでもない．
3. 

パターン1

「」のときについて考えます．

これをベン図で書くと下図のようになります．ただし，は全体集合です．

，の定め方から，条件をみたすは(青丸)に属し，条件をみたすは(黒丸)に属します．

したがって，条件をみたすは必ず条件をみたします．これは，「ならばである」ということに他なりません．

この例としては，上に挙げた

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

をイメージすればよいでしょう．

パターン2

「だが，でもでもない」ときについて考えます．

これをベン図で書くと下図のようになります．ただし，は全体集合です．

このときはは(の)必要条件でもないし，十分条件でもありません．ですから，は(の)必要条件でもないし，十分条件でもありません．

この例としては，

：は2の倍数である，
：は3の倍数である

をイメージすればよいでしょう．このとき，

，

なので，は6の倍数の集合だからですし，当然かつも成り立ちます．

パターン3

「」のときについて考えます．

これをベン図で書くと下図のようになります．ただし，は全体集合です．

「パターン2」と同じく，このときもは(の)必要条件でもないし，十分条件でもありません．ですから，は(の)必要条件でもないし，十分条件でもありません．

この例としては，

：は偶数である，
：は4の倍数に1加えた整数である

をイメージすればよいでしょう．このとき，

，

なので，となります．

【論理と集合の基本5|「逆，裏，対偶」と対偶の利用】に続きます．