WU谜题-集异壁之大成逻辑游戏

只用纸和你的大脑就能玩的游戏。
今天我们聊下形式系统。玩的游戏出自《集异壁之大成》,这是一个关于字母、字符串、逻辑的游戏。

你只有WU

  • 如果归你所有的符号串结尾是J,可在后面加一个U
  • 如果你有Wx,则Wxx也归你(x代表任意符号串,如你有WJU,就可以得到WJUJU)
  • 如果JJJ归你所有,可以用U代替JJJ,得到新的符号串
  • 如果UU出现在你的一个符号串,可以去掉它

如何得到WU?

关于WU谜题的一个推理,如何得到WU,实际就是在WJ为公理的情况下,根据4个推理规则,推导WU是否是定理。
分享一个CSDN博客关于这个问题的推理,简单实用。WU谜题_nameofcsdn的博客-CSDN博客_wu谜题

答案是,WU并不是定理。
实际上,在公理WJ中有1个J,(1)(4)不会改变J的个数,(2)是将J的个数翻倍,(3)是J的个数减3。
这样,所有的定理中,J的个数都不是3的倍数,因为所有的定理都是从公理出发,经过4条推理规则得到的。
而WU中J的个数为0,是3的倍数,所以WU不是定理。

发表评论

邮箱地址不会被公开。