如果张三回答出了3,小妹能说他对吗?这并不重要,小妹关心的是张三的回答是否基于严谨的逻辑。也就是说:答案是推理出来还是蒙出来的。这是小妹给出的评判条件。
张三答 3 确实是根据李四第一轮回答“不知道”,李四事后怎么说无关逻辑。关键是李四说了“不知道”,这个命题与张三从李四的角度来推测是合理的。所以张三相信这个命题(不必是真),以据此来推理。所以张三的推理没问题。这一点就和小妹的条件不矛盾了。至于结论是不是对,取决于根据的命题是不是真的。如果所有根据的命题是真的,结论也是真的。
比如说第一轮李四说是2,这个命题与张三从李四的角度来推测是合理的。张三可以据此来推理出1。从逻辑上张三推理没问题。结果不对是因为李四说是2不真。如果是真,张三确实1,他的推理也对。
回到原题。张三第二轮答 1, 为什么李四不能用来来推理呢?因为李四知道自己在第一轮说“不知道”,李四知道张三有这个知识,张三根据这个知识不可能推出1来,所以这个命题是错的,错的命题不能用来做跟据。注意,这个错不是由张三来声明的,而是与李四自己的知识相矛盾的。这时候李四要猜2,就没有根据了。
注意这里所有的推理都是用逻辑上,从自己角度推测出对方的角度的知道不知道,如此等等,不需要有事实上的知识。事实对方即使做假,如果是合理的,尽可以推下去。结论对不对另说。
这是智力推理题嵌在博弈之中的一个游戏。其实张三答出1,在推理上他错了,推理上已经没意义进行下去了,博弈上张三已经输了,game over。这时张三自己知道(没道理推出1),李四知道(逻辑矛盾),小妹和大众都知道(事实或逻辑)。李四大可不必再去猜,坐收成绩。在没有足够的信息下推测出2,这是不可能的任务。那是自作聪明,自取其辱。