ウィキバーシティ

「ド・モルガンの法則の証明」の版間の差分

履歴の双方向閲覧
← 古い編集新しい編集 →
削除された内容 追加された内容
ビジュアルウィキテキスト
Ohga-S (トーク | 投稿記録)
34 回編集
タグ: モバイル編集 モバイルウェブ編集
タグ: モバイル編集 モバイルウェブ編集
1行目:
==証明==
 
*: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>
*:となることを証明する。(<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 and X \notin B \\
& \Leftrightarrow X \in A^c and X \in B^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 &= P^c \cap Q^c \\
{(P \cup Q)^c}^c &= (P^c \cap Q^c)^c \\
&= P \cup Q \end{align}</math>
**:<math>A := P^c , B := Q^c</math>とすれば、
**:<math>(A \cap B)^c = A^c \cup B^c</math>
「https://ja.wikiversity.org/wiki/ド・モルガンの法則の証明」から取得