Re: [其他] 關於空集合與 open
: → temprr : 請問「若某點屬於集合」不隱含在「所有的點」裡面嗎 12/05 18:34
: → temprr : ? 12/05 18:35
正好另一個版友也寄信來問了差不多的問題
所謂「所有符合某條件的東西都如何如何」這種話
換句話講其實是:「對所有東西, 如果它符合某條件則如何如何」
這跟「符合某條件的東西是否存在」並不衝突
你確實是可以說「若某點屬於集合」隱含我要找「所有這集合裡的點」
但那並不隱含「這集合裡至少有一個點」--空集合的狀況就正是如此而已
==
來信版友的例子:
: 我們說一個人是好人如果他的筆都是紅色的
: 那如果我沒有筆,我到底是不是好人?
其實可以給我們另一個角度來思考這個問題
他的例子其實可以化簡成這樣一個問題:
「這個人沒有筆,能不能說他的筆都是紅色的?」
考慮一下「他的筆都是紅色的」這句話的反面是什麼:
應該會是類似「他有一枝筆不是紅色的」這樣子吧
但對沒有筆的人來說, 他並不符合後一句話, 所以他是符合前一句話的
因此當然可以說這個沒有筆的人他的筆都是紅色
這種邏輯敘述有一個特別的名詞叫"Vacuous Truth"
專指這種條件判斷當中前件為假的狀況
(就是所謂的「當 P 為假時,若 P 則 Q 這句話為真」這回事)
--
いああオレたちには見えてるモノがあるbデ きっと誰にも奪われないモノがあるはずさ
け 開口一番一虚一実跳梁跋扈形影相弔yュL羊頭狗肉東奔西走国士無双南柯之夢 歪も
ぶ 意味がないと思えるコトがある ラPきっとでも意図はそこに必ずある んの
く 依依恋恋空前絶後疾風怒濤有無相生 ラH急転直下物情騷然愚者一得相思相愛 だが
ろ 無意味じゃない ラ6あの意図が 恋た
で 有為転変死生有命蒼天已死黄天當立 !!6五里霧中解散宣言千錯万綜則天去私 のり
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.195.39.85
※ 文章網址: http://www.ptt.cc/bbs/Math/M.1417783405.A.596.html
推
12/05 21:22, , 1F
12/05 21:22, 1F
→
12/05 21:23, , 2F
12/05 21:23, 2F
推
12/05 21:29, , 3F
12/05 21:29, 3F
→
12/05 21:29, , 4F
12/05 21:29, 4F
應該這麼說:討論集合成員的性質跟討論集合是否有成員是兩回事
其實數學上大多數這種狀況是用某個方式定義的集合我們不知道有沒有成員
但我們可以推算如果有的話它會滿足什麼性質這樣
並不會真的去拿空集合去做什麼推演
※ 編輯: LPH66 (123.195.39.85), 12/05/2014 23:41:18
推
12/06 12:14, , 5F
12/06 12:14, 5F
→
12/06 12:14, , 6F
12/06 12:14, 6F
→
12/06 12:14, , 7F
12/06 12:14, 7F
→
12/06 12:15, , 8F
12/06 12:15, 8F
→
12/06 12:15, , 9F
12/06 12:15, 9F
推
12/06 13:32, , 10F
12/06 13:32, 10F
→
12/06 13:32, , 11F
12/06 13:32, 11F
→
12/06 13:33, , 12F
12/06 13:33, 12F
→
12/06 13:35, , 13F
12/06 13:35, 13F
→
12/06 13:35, , 14F
12/06 13:35, 14F
→
12/06 13:35, , 15F
12/06 13:35, 15F
推
12/06 17:04, , 16F
12/06 17:04, 16F
→
12/06 17:04, , 17F
12/06 17:04, 17F
→
12/06 17:05, , 18F
12/06 17:05, 18F
→
12/06 17:05, , 19F
12/06 17:05, 19F
→
12/06 17:05, , 20F
12/06 17:05, 20F
→
12/06 18:17, , 21F
12/06 18:17, 21F
→
12/06 18:17, , 22F
12/06 18:17, 22F
→
12/06 18:18, , 23F
12/06 18:18, 23F
→
12/06 18:22, , 24F
12/06 18:22, 24F
→
12/06 18:22, , 25F
12/06 18:22, 25F
推
12/07 11:41, , 26F
12/07 11:41, 26F