ド・モルガンの法則

概要

集合 に対して、以下の関係が成り立つことを、 ド・モルガンの法則という。ド・モルガンさんという人の名前なので、きちんと中点も打ってあげよう。

集合の上についているバーは補集合を意味し、全体の集合の要素のうち、その集合に属さないものの集合のこと。

また、記号に慣れてない方は、 を 「かつ」 、 を 「または」 と読み替えて考えてみよう。

この法則は、条件についても成り立つ優れもの。つまり、条件 について、以下が成り立つ。

はそれぞれ条件 の否定。

補足

このド・モルガンの法則は、集合の要素の個数を調べるときにも使えるし、事象の確率を計算するときにも使える便利なもの。

つまり、集合の要素の個数については、

事象の確率については、

が成立する。

なお、 ベン図で考えると、この法則の両辺の集合が同じものを指していることが確認できるので、忘れたら頭にベン図を描こう。