ド・モルガンの法則とその証明

1 ド・モルガンの法則
- 1.1 証明：
- 1.2 結論：
2 一般に：
- 2.1 証明：
- 2.2 結論：

ド・モルガンの法則

$(A\cup B)^{c} = A^c \cap B^c$

一般に： $(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c = \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$

$(A\cup B)^{c} = A^c \cap B^c$

証明：

$(A\cup B)^{c} = A^c \cap B^c$ 　を示す。

( $\subset$ )

$x \in (A\cup B)^{c}$ とする。

$x\notin A\cup B$ .

$x\notin A$ かつ $x\notin B$ .

$x\in A^c$ かつ $x\in B^c$ .

$x\in A^c \cap B^c$ .

したがって, $(A\cup B)^{c} \subset A^c \cap B^c$

( $\supset$ )

$x\in A^c \cap B^c$ とする。

$x\in A^c$ かつ $x \in B^c$

$x \notin A$ かつ $x \notin B$

$x \notin A\cup B$

$x \in (A\cup B)^c.$

したがって, $(A\cup B)^{c} \supset A^c \cap B^c$

結論：

( $\subset$ ) と ( $\supset$ ) を合わせて,

$(A\cup B)^{c} = A^c \cap B^c$ .

一般に： $(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c = \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$

証明：

$(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c = \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$ を示す。

( $\subset$ )

$x \in (\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c$ とする。

$x\notin \displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda}$ .

$x\notin A_\lambda$ $({}^{\forall}\lambda\in\Lambda)$ .

$x\in A_\lambda^c$ $({}^{\forall}\lambda\in\Lambda)$ .

$x\in \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$ .

したがって, $(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c \subset \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$

( $\supset$ )

$x\in \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$ とする。

$x\in A_\lambda^c$ $({}^{\forall}\lambda\in\Lambda)$

$x \notin A_{\lambda}$ $({}^{\forall}\lambda\in\Lambda)$

$x \notin \displaystyle\bigcup_{\lambda\in\Lambda} A_\lambda$

$x \in (\displaystyle\bigcup_{\lambda\in\Lambda} A_\lambda)^c.$

したがって, $(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c \supset \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$

結論：

( $\subset$ ) と ( $\supset$ ) を合わせて,

$(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c = \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$ .

最近の投稿

カテゴリー

アーカイブ

ド・モルガンの法則とその証明

ド・モルガンの法則

$(A\cup B)^{c} = A^c \cap B^c$

証明：

結論：

一般に： $(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c = \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$

証明：

結論：

カテゴリー

アーカイブ

最近の投稿

カテゴリー

アーカイブ

ド・モルガンの法則

証明：

結論：

一般に：

証明：

結論：

RECOMMENDこちらの記事も人気です。

コーシー列で収束する部分列をもつならば収束列

コーシー列は有界【ノルム空間】

はさみうちの原理の証明【数列】

well-definedの証明、アーベル群と部分群、商群

数列の収束と性質の例

同値関係と商集合

群と準同型写像

集合（ 和集合、共通部分、部分集合 ）

人気の記事

カテゴリー

アーカイブ

一般に： $(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c = \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$

集合（和集合、共通部分、部分集合）