作者luciferii (路西瓜)
看板logic
标题Re: [转录] 微软中国研究院最新面试题
时间Tue Oct 23 01:01:39 2007
※ 引述《kylechen (kyle)》之铭言：
: 谁都可以任意去解释了
: 这题我之前也提过了
: 要不然就是任意答案都可 要不就是依照绝对成立的标准推出9/1
: 因为6/4号的推法 小明第一句话 是猜测语气 不确定而说肯定 就是说谎
是肯定语气没错，不是加上「如果」两字就一定是在猜。
「如果我不会逻辑，肯定是老师没教。」
小明不用猜、不用说谎、不用唬烂，
小明可以很肯定他最後不知道的话，是小强一开始不知道，後来也不知道。
後述的推理是以小明说的话为真的情况下推出来的。
而6/4的答案也符合小明的话。
: 每个答案都成立的题目是无意义的
有空可以研究一下 paradox 这玩意。
基本上基础逻辑的书里应该都会讲到一堆故事。
虽然这题不能算是 paradox 的一种。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.166.96.61
※ 编辑: luciferii 来自: 218.166.96.61 (10/23 01:09)
1F：推 somedoubt:给出这个条件句的真值条件再说，好吗？ 10/23 01:10
2F：→ somedoubt:你如何排除你不会但是老师有教的可能性？ 10/23 01:11
3F：→ somedoubt:照你的话来说，只要不是命题逻辑中的恒真句，你大概都会 10/23 01:11
4F：→ somedoubt:说该条件句为假。 10/23 01:12
5F：推 somedoubt:逻辑教科书里面所谓的paradox是指既不能为真亦不能为假 10/23 01:16
6F：推 luciferii:因为小明的话出现在题目里就是恒真。除非你怀疑他说谎。 10/23 01:16
7F：→ somedoubt:的命题，请问这跟"每个答案都成立的题目是无意义的"何关 10/23 01:16
8F：→ somedoubt:唉，还恒真ㄌㄟ，我们只给定他们所说的话是实际上为真。 10/23 01:17
9F：→ somedoubt:"恒真"不是让你这样用的。 10/23 01:18
10F：→ somedoubt:就叫你给出真值条件以排除使其为假的情况了，还不给。 10/23 01:19
11F：推 luciferii:除了6/4.6/7 该句都为假，都证过十几次了。 10/23 01:21
12F：推 somedoubt:喔呴呴，9/1不会使得原条件句为假喔。 10/23 01:22
13F：→ somedoubt:好啦，就这样吧，各自保重。 10/23 01:22
14F：→ somedoubt:最後一句：9/1仅当原条件句理解为"如果你一开始就知道， 10/23 01:24
15F：→ somedoubt:则我肯定知道。"时会被逻辑地排除。 10/23 01:25
16F：→ somedoubt:若按你那种理解方式，很抱歉，不会被排除。 10/23 01:26