白马是马 黑马是马 所以黑马是白马 这句话我记得我很久前就看过了 不过一直没有想出个所以然 看完这一整个讨论串 也在不少过程中 获得了一些想法 不知对不对 想拿出来讨论 还请各位鞭小力一点....想想逻辑一直都是我的小兴趣阿.... 正文开始 我第一次听到类似的文句是从国文老师那边听到的 从公孙龙的白马论出来的 (推文中有看到好像有人提到 就顺便提一下好了) 原文是白马非马 他主要是论述 大致上我懂的部份是 当你需要"一匹马"的时候 黑马 白马 黄马 赤兔马 什麽马都可以 所以你可以说 白马是马 但如果今天我一定要一匹赤兔马的话 你给我黑马 白马 甚至汗血马 爪黄飞电 都不是我要的"赤兔马" 所以这时就会出现黑马非马 白马非马 爪黄飞电非马.... 也就不是你所指定要的马... 那时我还觉得公孙先生根本就在虎烂....只是在抓"文字的小辫子" 至於现在大家所看到黑马是白马这个问题.... 就大家的直觉面来说...白马不是黑马 黑马不是白马 两者互不属於 不包含 所以心中就会出现一个绝对的式子 "白马不等於黑马" 当有版上讨论到空集合这问题的时候 (彩虹马情况) 当下刚好教授在我旁边印讲义...我随口问了一下 "教授 空集合应该属於任何集合吧?!" 她匆匆忙忙印完讲义就随口回答我 "用属於似乎不太对 用包含这个词 应该比较妥当" 又开启了我一些想法.... 如果说空集合存在这个大集合之内 (大集合:所有的马) (在此就不讨论大家都知道的 非空集合A 非空集合B 也就是说 白马 黑马的集合 ) 就又会出现一些不同的情况了 同一种论调 A马 是 B马 如果说A马是一种彩虹马(是个集合 但是实务上来说是个空集合) B马 白 马(同样是个集合 实务上来说 是个非空集合) 这样会推出 彩虹马这个空集合 被包含於 白马这个集合内 所以可以得知...彩虹马是白马!!!! (空集合是任何集合的子集) 但是不能反过来说 白马是彩虹马 也就是常识认知:男人是一种人 但是人不能说一定是男人 这下我超开心了 我似乎觉得我逻辑好像有进步了XDDD 再来 空集合VS空集合 A马是彩虹马 B马是八脚马 两个都是空集合 又回到前面的话题 "空集合是任何集合的子集" A包含於B 且 B包含於A 所以....A=B 推得彩虹马就是八脚马!!!!! 也可推得八脚马就是彩虹马!!!!! 最後我觉得 白马是马 黑马是马 白马是黑马 如果在文意上来说这样是不对的 因为所谓的"文意"就是你了解他文字下所代表的意义 这样你就会知道 事实上存在 黑马 白马(两个非空集合的讨论) 但如果就严谨的数学上来说 要先讨论出 有一个集合叫做白马 另一个集合叫做黑马 他们两个各是哪种类型的集合 才能做下一句判断 (白马是不是黑马) 以上是我想这讨论串的心路历程..可能过程有点笨XDD 不过这种东西拿出来讨论 才会变更厉害阿~ --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 123.194.238.250 ※ 编辑: SYYANG401 来自: 123.194.238.250 (06/16 04:51) ※ 编辑: SYYANG401 来自: 123.194.238.250 (06/16 04:52) ※ 编辑: SYYANG401 来自: 123.194.238.250 (06/16 04:57)