問題11は、$\overline{A \cap B} = \overline{A} \cup \overline{B}$ を、例8にならって確認する問題です。
2025/4/16
1. 問題の内容
問題11は、 を、例8にならって確認する問題です。
2. 解き方の手順
例8では、 を図を使って示しています。同様に、問題11の等式も図を使って示します。
(1) をベン図で表します。 は、集合Aと集合Bの両方に含まれる要素の集合です。 は、全体集合Uから を除いた部分です。この部分をベン図上で塗りつぶします。
(2) をベン図で表します。 は、全体集合Uから集合Aを除いた部分であり、 は、全体集合Uから集合Bを除いた部分です。 は、 と の少なくとも一方に含まれる要素の集合です。 の領域と の領域をベン図上でそれぞれ塗りつぶし、 以外は全て塗りつぶされます。
(3) (1)と(2)で塗りつぶされた領域が同じであることを確認します。 と は、どちらもベン図上で を除いた部分を塗りつぶした図になるため、 が成り立つことがわかります。
3. 最終的な答え
は、AとBの両方に含まれる部分を除いた領域であり、 は、Aに含まれない部分とBに含まれない部分の和集合なので、同じ領域を表します。したがって、 が成り立ちます。