推 somedoubt:滿篇混淆。文中的p若表命題根本無所謂存在可言，居然 04/07 16:07
→ somedoubt:"白馬是馬"也不應該以命題邏輯的形式翻譯。 04/07 16:09
推 somedoubt:承第一句推文，若p表示白馬，則p沒有真假可言， 04/07 16:25
→ somedoubt:因為語詞沒有真假可言。 04/07 16:26
慘，樓主沒學過邏輯和集合就算了，你看來也是沒學過
白馬非馬
用邏輯的形式表示
p -> q
for any x, x是白馬 -> x 是馬
用集合的形式表示
for any x, x屬於白馬 -> x 屬於馬，或者說，白馬包含於馬
把白馬當成單一元素的表示法
白馬 屬於 馬
居然還要別人把語句換成基本表達式你才能搞懂，跟你討論真辛苦。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.59.167.90
※ 編輯: luciferii 來自: 61.59.167.90 (04/07 16:40)
推 somedoubt:愛酸就讓你酸個夠吧。一個寫東西不願甚或不會求精確的 04/07 19:32
→ somedoubt:人也不用在這誇稱甚或指導他人啦~ 04/07 19:35
→ somedoubt:該加量化詞的時候不加，還在說別人看不懂? 04/07 19:36
→ somedoubt:知道你出錯的人不會被你影響，但初學者呢? 04/07 19:38
→ somedoubt:學著你這種不精確的表達方式來討論? 04/07 19:38
推 somedoubt:另外，可以請妳指點一下，哪一套集合論說空集合是任意 04/07 19:41
→ somedoubt:集合的元素的?怎麼你有空發這篇沒空改錯誤? 04/07 19:41