作者luciferii (路西瓜)
看板logic
標題Re: 白馬是馬，黑馬是馬，所以白馬等於黑馬？
時間Mon Apr 7 16:38:06 2008
※ 引述《luciferii (路西瓜)》之銘言：
1F：推 somedoubt:滿篇混淆。文中的p若表命題根本無所謂存在可言，居然 04/07 16:07
2F：→ somedoubt:"白馬是馬"也不應該以命題邏輯的形式翻譯。 04/07 16:09
3F：推 somedoubt:承第一句推文，若p表示白馬，則p沒有真假可言， 04/07 16:25
4F：→ 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)
5F：推 somedoubt:愛酸就讓你酸個夠吧。一個寫東西不願甚或不會求精確的 04/07 19:32
6F：→ somedoubt:人也不用在這誇稱甚或指導他人啦~ 04/07 19:35
7F：→ somedoubt:該加量化詞的時候不加，還在說別人看不懂? 04/07 19:36
8F：→ somedoubt:知道你出錯的人不會被你影響，但初學者呢? 04/07 19:38
9F：→ somedoubt:學著你這種不精確的表達方式來討論? 04/07 19:38
10F：推 somedoubt:另外，可以請妳指點一下，哪一套集合論說空集合是任意 04/07 19:41
11F：→ somedoubt:集合的元素的?怎麼你有空發這篇沒空改錯誤? 04/07 19:41