今天想跟大家分享一個「五分鐘找到狗狗」的故事。
前天早上四點多，天色未亮，一對母子遇見正在淡水漁人碼頭巡邏的同仁後，神情疲憊地問道：「不好意思，請問你們有看到Money嗎？牠不見了。」
原來，Money是一隻黑色的米克斯，晚上一點多跟著家人到附近散步時，不小心走失了。雖然當下大家馬上散出尋找，仍不見蹤影。
幾個小時過去，他們不只找遍了漁港周圍，也到附近的派出所、飯店一一詢問，一直到凌晨四點多，仍然沒有任何消息。
同仁聽了之後也相當擔心，向他們留下了聯絡方式及Money的照片後，即將相關訊息轉發單位同仁，請大家幫忙留意。
但神奇的事來了！訊息才發出去五分鐘，同仁又再次被攔了下來，一隻黑色米克斯神情疲憊地向他問道：「不好意思，請問你們有看到我家的鏟屎官嗎？他們不見了。」
拿出照片比對眼前的狗狗，「黑色米克斯、紅色項圈、花色方形衣服……你就是Money啊！」
同仁請牠留步後，馬上聯繫剛剛那對母子，表示Money正在他身旁。不到兩分鐘，他們立刻衝了回來，雙方紅著眼眶抱在一起、互相哭罵著：「你是跑去哪裡了，一直找不到你！」
世界上最遙遠的距離之一，是我們明明只有兩分鐘的距離，卻找不到彼此。
海巡有一部分的工作是幫助離散的人們再次團圓，有時是生的喜悅，有時是死的離別，有時甚至只是3個小時的失蹤；但無論結果如何，能幫助失蹤者回家、解開原本心中永遠的焦慮與痛楚，是我們最開心的事了。
海巡署北部分署-巡找北海英雄
#走失的Money
#走失的鏟屎官
#找了3小時
#原來我們這麼近
離散意思 在 [其他] 請教一題離散的對偶原理更新- 看板Math - 批踢踢實業坊 的八卦
開頭是Inasmuch的那題要找出A是B的子集的對偶
我算是這樣
但答案是B是A的子集
不懂我的算法錯在哪裡
求解
------
補個算式的想法
我的想法是既然A是B的子集，那x屬於A的元素也必定屬於B，所以可以寫成logical implication的形式
因為A->B邏輯等價於-(A)orB，所以再把它轉換成-(A)orB
經過dual之後or跟and會對調，所以寫成-(A)andB，也可以寫成-(Aor-(B))
最後-(B)orA又等價於B->A
所以我得出的答案是-(B->A)，與正確答案差了一個-號
算式上面寫x不屬於A就是-(A)的意思，因為不屬於A就一定屬於-(A)
-----
Dual是不是根本不能這樣解啊？
因為dual應該是要拿原式去做，與logical implication邏輯等價那個式子只是邏輯等價而已，根本不是原式
因為dual應該是要拿原式去做，與logical implication邏輯等價那個式子只是邏輯等價而已，根本不是原式
因為dual應該是要拿原式去做，與logical implication邏輯等價那個式子只是邏輯等價而已，根本不是原式
因為dual應該是要拿原式去做，與logical implication邏輯等價那個式子只是邏輯等價而已，根本不是原式
因為dual應該是要拿原式去做，與logical implication邏輯等價那個式子只是邏輯等價而已，根本不是原式
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 180.204.227.253
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 180.204.227.253
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1532779940.A.23F.html
※ 編輯: andy850830 (180.204.227.253), 07/28/2018 20:13:29
※ 編輯: andy850830 (180.204.227.253), 07/29/2018 23:44:14
※ 編輯: andy850830 (180.204.227.253), 07/30/2018 00:10:42
※ 編輯: andy850830 (180.204.227.253), 07/30/2018 00:17:42
※ 編輯: andy850830 (180.204.227.253), 07/30/2018 00:18:47
※ 編輯: andy850830 (180.204.227.253), 07/30/2018 00:19:13
※ 編輯: andy850830 (180.204.227.253), 07/30/2018 00:36:30
定義3那裡，應該是這個意思沒錯吧？
定義3那裡，應該是這個意思沒錯吧？
Dual後邏輯成立那裡是我之前查的
※ 編輯: andy850830 (180.204.227.253), 07/30/2018 02:21:48
i是課本的證明，(a)指的是A是B的子集，(b)是A聯集B=B，先令B是A聯集B的子集合，又因為x屬於A聯集B代表x屬於A or x屬於B，而A又是B的子集，所以屬於A必定會屬於B，進而得出A聯集B也是B的子集，所以A聯集B=B
※ 編輯: andy850830 (61.56.183.91), 07/30/2018 15:04:26
最下面for any universe那邊
※ 編輯: andy850830 (61.56.183.91), 07/30/2018 20:56:14
※ 編輯: andy850830 (61.56.183.91), 07/30/2018 20:56:14
突然發現集合這邊也有duality的相關定義
定義9跟理論5
會不會是這邊的問題，只是我沒理解到而已@@
※ 編輯: andy850830 (61.56.183.91), 07/30/2018 21:00:46
... <看更多>