作者luciferii (路西瓜)
看板logic
标题Re: [转录] 微软中国研究院最新面试题
时间Tue Oct 23 01:33:17 2007
※ 引述《luciferii (路西瓜)》之铭言：
1F：推 somedoubt:喔呴呴，9/1不会使得原条件句为假喔。 10/23 01:22
前面已经证过为假，你只是没用心在推。
2F：→ somedoubt:好啦，就这样吧，各自保重。 10/23 01:22
3F：→ somedoubt:最後一句：9/1仅当原条件句理解为"如果你一开始就知道， 10/23 01:24
4F：→ somedoubt:则我肯定知道。"时会被逻辑地排除。 10/23 01:25
5F：→ somedoubt:若按你那种理解方式，很抱歉，不会被排除。 10/23 01:26
如果你知道，则我肯定知道。
本来就包含了
如果你一开始知道，则我就会知道；
如果你在听我话後知道，则我也会知道。
9/1被排除是必然的。
而这里有个不是实然蕴含的条件:「小强不会在知道以後忘记」。
你否认「"你等一下说知道"包含"你一开始就知道"」这句话，
代表你非得认为小强有可能从知道变成不知道。
或者你认为小强知道以後还要说谎。
才会有上面这种错误的理解。
更正，我发现你们哲学系上课是把 "=>" 翻成「蕴含」(中文问题真讨厌)
我在本文中改使用「包含」，免得搞混。
不过不影响前篇对排除9/1的推论。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.166.96.61
※ 编辑: luciferii 来自: 218.166.96.61 (10/23 01:42)
6F：推 somedoubt:唉，原来小强说他原本不知道，但是听了第一句後知道了 10/23 01:41
7F：→ somedoubt:是假的。小强～～你为什麽要说谎～～！！ 10/23 01:42
8F：→ somedoubt:揪竟我到底有没有可能可以一开始不知道但在之後知道呢？ 10/23 01:43
9F：→ somedoubt:路西瓜版友说：不行！ 10/23 01:44
10F：→ somedoubt:若答案是9/1，按你的所理解的第一个条件句前假後假。 10/23 01:45
11F：→ somedoubt:我居然为了你这篇导致我所谓最後一句成了假话。 10/23 01:46
12F：推 luciferii:假个头。所以你从头到尾都没有好好在作推论过。 10/23 01:49
13F：推 somedoubt:乡亲啊～""你等一下说知道"包含"你一开始就知道""如果为 10/23 01:51
14F：→ somedoubt:真，小强不是在说谎不然是啥？？ 10/23 01:52
15F：推 luciferii:哪里说谎? 你分不清 A or B 只要其中之一true就 true吗? 10/23 02:00
16F：→ luciferii:你等一下说知道<=你一开始就知道 10/23 02:02
17F：→ luciferii:而不是你推的"你等一下说知道=>你一开始就知道" 10/23 02:02
18F：→ luciferii:你真的需要重修整个逻辑了... 10/23 02:02