[分析] 高微證明 de Morgan's laws

[WWWZZZXXXMMM (WZXM)]

Let Ａ be a collection of subsets of a set S and Ｂ the collection of

complementary sets; that is, B 屬於 Ｂ　iff S\B 屬於 Ａ.

(屬於符號打不出來;注意AB之半形全形 有差別)

(pf):

a. S\ ∪Ａ = ∩Ｂ 
b. S\ ∩Ａ = ∪Ｂ 

(∪Ａ　denotes the union of all sets in Ａ)

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 220.136.220.39
→ k6416337    :所以你的個人問題是什麼?證明看不懂之類的
→ WWWZZZXXXMMM:我不太懂題意的意思 可以說明一下嗎
→ ERT312      :畫圖很好懂
→ WWWZZZXXXMMM:重點是要以文字的方式證明出來
推 Hseuler     :將畫圖轉為文字就ok了
→ WWWZZZXXXMMM:我好想知道它正確的文氏圖長什麼樣@@ 有人可以畫嗎
→ ERT312      :什麼叫做"它正確的文式圖"? Ａ可以是任意的
→ ERT312      :subcollection of P(S) ,不知道你想看什麼?
→ ERT312      :文式圖只是幫助你把提意具體化而已,不能當證明