1. 高校数学の美しい物語
  2. ドモルガンの法則の解説

ドモルガンの法則の解説

更新日時 2021/03/07

ドモルガンの法則:

1:AB=AB\overline{A\cup B}=\overline{A}\cap \overline{B}

2:AB=AB\overline{A\cap B}=\overline{A}\cup \overline{B}

1’: A1A2An=A1A2An\overline{A_1\cup A_2\cup\cdots\cup A_n}=\overline{A_1}\cap \overline{A_2}\cap\cdots\cap\overline{A_n}

2’: A1A2An=A1A2An\overline{A_1\cap A_2\cap\cdots\cap A_n}=\overline{A_1}\cup \overline{A_2}\cup\cdots\cup\overline{A_n}

ABA\cap B は集合の共通部分,ABA\cup B は和集合,A\overline{A}AA の補集合を表しています。

目次
  • ドモルガンの法則について

  • ドモルガンの法則の日本語による解説

  • ドモルガンの法則のベン図による解説

  • ドモルガンの法則の真理値表による解説

  • まとめ

ドモルガンの法則について

  • ドモルガンの法則は入試で必要になることは少ないですが,式変形の途中にしれっと登場したりするので覚えておきましょう。
  • 以下ではドモルガンの法則を通じて集合の等式の証明について解説します。日本語による解説,ベン図による解説,真理値表(総当り)による解説。
  • なお,一般の nn 個の場合の1’,2’は二個の場合の1,2から帰納的に証明できます。

ドモルガンの法則の日本語による解説

ドモルガンの法則を日本語で表現すると以下のようになります。

1:「 AA または BB 」でない,という状況は

AA でない」かつ「 BB でない」という状況と同じ

2:「 AA かつ BB 」でない,という状況は

AA でない」または「 BB でない」という状況と同じ

多くの人はよく分からないと思いますが,この日本語を見ただけで納得できる人にとってはこの説明のみで十分でしょう。

メリット

・日本語にただなおすだけで集合の等式が理解できる。理解できると面白い。

デメリット

・みんなが納得できる説明ではない(数学的に厳密でない)。

ドモルガンの法則のベン図による解説

ドモルガンの法則

ドモルガンの法則はベン図を書けば簡単に理解できます。

1の式について: AB\overline{A\cup B}AB\overline{A}\cap \overline{B} も上の図の緑の部分を表しています。

2の式について: AB\overline{A\cap B}AB\overline{A}\cup \overline{B} も下の図の青の部分を表しています。

メリット

  • ベン図を書けば誰もが納得できる,分かりやすい。基本的には困ったらベン図を書くべし。
  • 集合が3つ以下ならどんな集合の等式もベン図で証明できる。

デメリット

・集合が4つ以上だと通用しない。

ドモルガンの法則の真理値表による解説

これはいわゆる総当りです。

真理値表

ある要素 xx が集合 AA に属しているかどうか,集合 BB に属しているかどうか四通りに場合分けします。そして等式の左辺に属しているか,右辺に属しているかそれぞれ調べます。

四通り日本語で説明するのはめんどうなので表を書きます。このような表を真理値表と言います。

例えば二行目は xxAA に属しており,BB に属していない場合に,AB\overline{A\cup B} などに属しているかどうかを表しています。一つ一つ確認してみてください(横ではなく縦に見て埋めていくと楽です)。

メリット

・数学的に厳密, どんな等式にも対応できる。

デメリット

・ベン図が通用するならベン図の方が楽。集合の数が nn 個ある場合は 2n2^n 通り調べる必要がある。

まとめ

ドモルガンの法則含め,集合の等式については以下のように理解するとよいでしょう。

1:ベン図が簡単に書けるならそれで簡単に理解できる,

2:無理なら総当りで確かめればよい,

3:簡単なものなら日本語でいい変えてみると意味が分かってなお面白い。

なお,同様の議論が論理記号でも成立します。論理記号の等式の証明についても以上の考え方は有効です。

「ド」という名前がなかなか印象的です。

Tag:数学1の教科書に載っている公式の解説一覧

人気記事
  1. 高校数学の美しい物語
  2. ドモルガンの法則の解説