题目的“2人都知道张老师的生日”应该是“2人都不知道张老师的生日”
这个题的问题是,不是完全根据题意分析小明小强各自的推理,而是根据小明小强的对话及可能各自的推理,来推理M,N的值。
可以对生日以二元组形式划分<M,N>
1.当M={6,12}时,则有N={2,7}蕴含唯一的<M,N>,即小强可能根据N值知道<M,N>=<a,b>,<a,b>值是唯一的。这里a=6或12,b=2或7
<a,2>→<a,b>=<12,1>
<a,7>→<a,b>=<6,7>
小明知道的是<M=a,N=x>,
小强知道的是<M=x,N=b>,
形式化<M=a,N=x>→◇(<M=x,N=b>→<a,b>)----①,
=x表示未知
□表必然
◇表可能
2.小明说:如果我不知道的话,小强肯定也不知道
a={6,12}
(<M=a,N=x>→□┐(<M=x,N=b>→<a,b>)
≡(<M=a,N=x>→┐◇(<M=x,N=b>→<a,b>)
实际上,由①得
<M=a,N=x>→◇(<M=x,N=b>→<a,b>)
归谬,则M≠a,即M≠{6,12}
3.下面省略
太长,懒的打了。