「ド・モルガンの法則の証明」の版間の差分
削除された内容 追加された内容
ページの作成:「==証明== *:2個の集合 <math>A</math> , <math>B</math> において、 *:<math>(A \cup B)^c = A^c \cap B^c</math> , *:<math>(A \cap B)^c = A^c \cup B^c</math> *:と…」 タグ: モバイル編集 モバイルウェブ編集 |
タグ: モバイル編集 モバイルウェブ編集 |
||
4行目:
*:<math>(A \cup B)^c = A^c \cap B^c</math> ,
*:<math>(A \cap B)^c = A^c \cup B^c</math>
*:となることを証明する。(<math>A^c</math> は <math>A</math> の補集合を表
**:<math>\begin{align}
X \in (A \cup B)^c &\Leftrightarrow X \notin A \cup B \\
& \Leftrightarrow X \notin A
& \Leftrightarrow X \in A^c
& \Leftrightarrow X \in A^c \cap B^c \end{align}</math>
**:したがって、<math>(A \cup B)^c = A^c \cap B^c</math>・・・①
**:①より、
**:<math>\begin{align}
{(P \cup Q)^c}^c &= (P^c \cap Q^c)^c \\
**:<math>A := P^c , B := Q^c</math>とすれば、
**:<math>(A \cap B)^c = A^c \cup B^c</math>
| |||