看板
[ Math ]
討論串[其他] 笛摩根證明
共 5 篇文章
內容預覽:
x 不屬於 A∪B 等價於 x不屬於A 且 x不屬於B. 這裡已經偷偷用了 DeMorgan's laws. x 屬於 A∪B 的定義是 x 屬於 A 或 x 屬於 B. 其否定是 x不屬於A 且 x不屬於B. 這就是 DeMorgan's laws. 邏輯上的 DeMorgan's laws:.
(還有239個字)
內容預覽:
1. 用互相包含去證的時候，其 step1 和 step2 也可用直接證法，不一定要反證. 給原po g大參考。. 2. Honor 大的證明是在數學領域中一般情況下的標準SOP，. 不過這裡提供另一種證明，按理說就這問題而言，這個證明會比較好。. (A∪B)' = U - (A∪B) // 餘集的
(還有423個字)
內容預覽:
命題都錯了. (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 或
(還有219個字)