逻辑黑洞

44946 · 发表于 2017-10-11 22:09:16

有这么二种类型的人，a型人只问那些正确答案是“是”的问题，B型号只问那些正确答案是“否”的问题。现有夏洛克，金田一，柯南三人，他们个个要么是a型人，要么是B型人。
夏洛克问金田一：你属于那种可以问柯南他是否属于那种可以问你们二个是否属于不同类型的那类型的那一类型吗？
问可以知道他们三人的所属类型吗？

47164 · 发表于 2017-10-11 22:13:51

夏b，金a柯a

46124 · 发表于 2017-10-11 23:25:44

我仔细想了一下。
假设夏是B，那么金回答是否，金不能问柯，同时也说明金和柯属于同类型（因为无论柯问不问金他们俩问题，金都回答否，否不同=相同。。。）
再假设柯回答是是，则金是B。因为柯南能问回答是否的金，所以也是B。
再假设柯回答是否，则金是A，因为柯不能问回答是否的金，柯是A。

假设夏是A，那么金可以问柯，金回答是是，同时证明金和柯属于不同。
再假设金也是A，那么柯南可以问金，金依旧回答是，于是金柯都是A，相悖。
再假设金是B，那么柯回答是否，则柯是B，因为他不能问回答是是的金。

总结，夏金柯ABB/BAA/BBB

22568 · 发表于 2017-10-11 23:32:27

我猜lz说这是"逻辑黑洞"是因为觉得这逻辑太混乱了.
然而私以为这纯粹是自然语言的锅..

我们用数学些的语言吧..

首先..把条件中的规则翻译成数学语言..
某人X可以问某问题Q ⇔ ((X=a)∧Q)∨((X=b)∧¬Q) ⇔ (X=b)⊕Q

然后..把条件中的事实翻译成数学语言..
夏洛克问金田一：你属于那种可以问柯南他是否属于那种可以问你们二个是否属于不同类型的那类型的那一类型吗？
⇔
夏洛克可以问(金田一可以问<柯南可以问{金田一和柯南属于不同类型吗{吗>吗)
⇔
(夏洛克=b)⊕(金田一可以问<柯南可以问{金田一和柯南属于不同类型吗}吗>)
⇔
(夏洛克=b)⊕(金田一=b)⊕(柯南可以问{金田一和柯南属于不同类型吗})
⇔
(夏洛克=b)⊕(金田一=b)⊕(柯南=b)⊕(金田一≠柯南)
⇔
夏洛克=b

显而易见,条件中的事实等价于夏洛克=b.

46863 · 发表于 2017-10-13 11:21:33

多少有些文字陷阱，感觉好多逻辑题原作者语文水平很差……到底是体温前就已知自己一定不会问错问题？还是提问本身就是为了逻辑而瞎问……最后用逻辑决定自己是哪种人……难道自己不知道自己是什么人？假设这是诚实与撒谎类型的逻辑题，那么开口者已经就是诚实者了，因为他问回答否的问题，就等于否定自己……

47074 · 发表于 2017-10-14 22:16:13

他们都是b吗？

47195 · 发表于 2017-10-21 12:23:10

都是a

47469 · 发表于 2017-11-9 00:08:18

都从哪搞来这么坑的问题~

[逻辑推理] 逻辑黑洞