: transik 但是我覺得按照同樣的標準，空集合裡也不存在有在S內的元素，這樣是不是也
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^
這句話是對的 對空集合來說
: 不滿足是S子集合的條件。因為我覺得要為S的子集合的條件是，一集合所有的元素都是S
^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
這句話是錯的 這句話是對的
: 的元素。
^^^^^^
空集合裡面到底「有沒有」元素在S裡面？ 當然沒有
但是，空集合裡面的每一個元素「是不是」在S裡面？ 是
你這樣看得出差異在哪裡嗎？
對空集合來說，因為空集合裡面並沒有元素，
所以我們對空集合裡面的元素進行任何的「描述」都是合法的
這就是你一開始說的前提為假，則任何只牽涉到「形容」的推論皆為真
例如：「空集合裡面的元素都是紅色的」這句話就是對的
然而，如果你要說空集合裡面「有」元素怎樣怎樣，
這樣指涉到「存在」，就會跟前提「空集合裡面有元素」造成矛盾
所以，「空集合裡面有一個元素是紅色的」這句話是錯的
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.167.132.26 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1582435591.A.C0E.html