※ 引述《g3810 (g3810)》之銘言:
: (AUB)'=A'聯集B'
命題都錯了
(A∪B)' = A'∩B'
: 請問要怎麼用集合方法證明
: 謝謝
<=(包含於或等於) :
假設x不屬於{y| y屬於~A 且 y屬於~B}
表示x可能 (1)屬於A且不屬於B
(2)不屬於A且屬於B
(3)屬於A且屬於B
則
(1)x屬於{z| z屬於A 或 z屬於B}
(2)x屬於{z| z屬於A 或 z屬於B}
(3)x屬於{z| z屬於A 或 z屬於B}
與x不屬於{z| z屬於A 或 z屬於B}不合
所以原命題得證
>= :
假設x屬於{y| y屬於A 或 y屬於B}
表示x可能 (1)屬於A且不屬於B
(2)不屬於A且屬於B
(3)屬於A且屬於B
則
(1)x屬於{z| z屬於A 且 z屬於B}
(2)x屬於{z| z屬於A 且 z屬於B}
(3)x屬於{z| z屬於A 且 z屬於B}
與x屬於{z| z不屬於A 且 z不屬於B}不合
所以原命題得證
其實就跟你把真值表畫一畫就好了
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.44.250.248
※ 文章網址: http://www.ptt.cc/bbs/Math/M.1408001336.A.C08.html