推 alfadick : 雖然你也似乎混淆了邏輯與集合版本的DeMorgan 08/17 16:31
→ alfadick : 但你用"似乎"兩個字來保守指責我，理性態度給推~ 08/17 16:31
→ alfadick : 欸. 是"好像", 更正~ 08/17 16:31
→ alfadick : 話說你 "x不屬於(AUB) 等價於 x不屬於A且x不屬於B" 08/17 16:43
→ alfadick : 怎麼來的？ 08/17 16:43
alf大好像犯了循環證明的錯誤
這裡提供一下我的證法
x屬於(AUB)' 等價於 x不屬於(AUB) 等價於 x不屬於A且x不屬於B
等價於 x屬於A'且x屬於B' 等價於 x屬於(A'交B')
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.227.146.187
※ 文章網址: http://www.ptt.cc/bbs/Math/M.1408253221.A.77F.html