[過去ﾛｸﾞ] 【初心者歓迎】C/C++室 Ver.101【環境依存OK】 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

62(1): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 20:27:14.25 ID:WTRjQogU(10/18) AAS
A＝{ x | x ∈A }. B＝{ x | x ∈B }.
A∩B＝{ x | x ∈A ∧ x∈B }.
A∪B＝{ x | x ∈A ∨ x∈B }.
~A＝{ x | ¬(x∈A) }.
~(A∩B)＝{ x | ¬(x ∈A ∧ x∈B) }.
~A∪~B＝{ x | ¬(x ∈A) ∨ ¬(x∈B) }.
ここで、¬(x ∈A ∧ x∈B)＝{ x | ¬(x ∈A) ∨ ¬(x∈B)を証明すれば、
~(A∩B)＝~A∪~B と言える。

---

64: 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 20:38:22.42 ID:WTRjQogU(12/18) AAS
>>62
訂正。
(誤) ここで、¬(x ∈A ∧ x∈B)＝{ x | ¬(x ∈A) ∨ ¬(x∈B)を証明すれば、
(正) ここで、¬(x ∈A ∧ x∈B)＝¬(x ∈A) ∨ ¬(x∈B)を証明すれば、

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.127s