作者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