2017年11月18日,星期六

骑士和小刀岛

在经典的逻辑问题中,我们被要求想象双色球基本走势图图表新浪爱彩由两种类型的人组成的岛:一类总是讲真话的人(骑士)和一类总是讲谎言的人(刀)。在基于这种底盘的拼图中,岛民发表声明,我们必须弄清楚哪些岛民是骑士,哪些岛民是刀。

这一页 将产生难度各异的骑士和刀谜。这里’s an example:

An "easy" puzzle from //dmackinnon1.github.io/knaves/

所有这些难题的祖父是双色球基本走势图图表新浪爱彩实际的岛民,他引用了双色球基本走势图图表新浪爱彩实际的岛屿 -约公元前600年,克里特岛 淫羊ides 被认为是对帐单“所有克里特岛人都是骗子。”此后,乐趣一直没有停止。

岛屿之谜的权威来源是“这本书的名字是什么?” by 雷蒙德·M·斯穆林从简单的开始(在岛上只有骑士和小刀)到包括法线(有时是撒谎,有时是说实话),疯狂的(他们认为撒谎是事实,反之亦然)建立了这些看似简单的谜题),猴子,骑士和刀俱乐部,吸血鬼,狼人和其他角色。这本书使用这些杂乱无章的工作人员,巧妙地将我们引向基于拼图的戈德尔声明’的不完全性定理。

我们将坚持第一种谜题:双色球基本走势图图表新浪爱彩岛上的骑士和小刀。我们如何解决以上难题?这是推理的一种方法:

 
生成难题的示例解决方案
at //dmackinnon1.github.io/knaves/

上面提到的拼图生成页面将自身限制为骑士和小刀做出三种陈述:

指责与肯定
在一项指控中,一名岛民A说了类似“ B是个n夫”之类的话或类似的陈述,例如“ B总是说谎”。肯定地说,岛民A说了类似“ B是骑士”或“ B总是说实话”之类的话。

不幸的是,我们不知道A是否在说真话,那么我们怎么知道他们对B的说法是否正确?即使不知道A的类型,我们也可以从这些语句中学到一些有关A和B的有用信息。如果A和B通过指控联系在一起,则它们的类型必须不同:A是小刀,而B是小刀,反之亦然。如果A和B通过确认链接在一起,则它们必须是同一类型:要么都是骑士,要么都是刀。看看是否可以推理出为什么一定要这么做。

解决具有多个指责和肯定的谜题时,使用的一种方法是绘制图表(如 旧帖子)。

刀连词
n语连词的双色球基本走势图图表新浪爱彩例子是,当A说“ B是骑士,或者我是k语”时,或者 “ C是个小品,我是个小品。”

这些声明非常有帮助,因为它们总是告诉我们说话者和口头说话者的类型。任何说“或我是个拳手”的岛民都会发表双色球基本走势图图表新浪爱彩必须是全面,真实,因此是骑士的声明,而任何说“我是个拳手”的岛民都会撒谎,而且必须是个拳头。尝试说服自己。

关于“知识连接”的双色球基本走势图图表新浪爱彩有趣的事情是,它们的有用性来自它们与“知识连接”的距离有多近。 骗子悖论。说谎者悖论是对Epimenides最初声明的一种更加自我指导的改进,我们在其中设想有人说:“我在撒谎”,想知道他们是否在说真话。

岛民不能发表“我在撒谎”或任何类似的陈述,例如“我是个拳手”。如果这样的陈述是正确的,那么说话者在撒谎,这使得陈述也为假。如果为假,则发言者在撒谎,使陈述也成立。因此,这样的陈述是矛盾的-既不是错误的也不是真实的,而我们的岛民只能使用正确或错误的陈述。

然而,岛民可以通过将其陈述作为子句与另一种陈述包括在内,来接近产生说谎者悖论。要了解他们如何做到这一点,您必须弄清楚包含“ and”和“ or”的语句如何工作。如果岛上有人说“ X或Y”,则只有X或Y必须为真才能使整个语句为真。因此,当只有双色球基本走势图图表新浪爱彩陈述为真时,骑士可以说“ X或Y”。但是,如果双色球基本走势图图表新浪爱彩小刀说“ X或Y”,那么X和Y都必须为假(如果双色球基本走势图图表新浪爱彩为真,则整个语句将为真,而双色球基本走势图图表新浪爱彩小刀不能做出真实的语句)。如果岛民说“ X和Y”,则X和Y都必须为真才能使该语句为真,并且只有双色球基本走势图图表新浪爱彩为假才能使该语句为假。因此,当只有双色球基本走势图图表新浪爱彩语句为假时,双色球基本走势图图表新浪爱彩a夫可以说“ X和Y”。

异同陈述
有时,岛民A可能会说“ B是我的类型”或“ C不是我的类型”。我们可能不知道A是骑士还是骑士,但是我们可以立即推断B和C的类型。无论A在撒谎还是在说实话,如果A声称“ B是我的类型”,那么B必须是骑士。另一方面,如果A声称“ C不是我的类型”,则我们知道C是双色球基本走势图图表新浪爱彩刀法。你同意?

将这些陈述与我们的第一种陈述(“指控/肯定”)进行比较是很有趣的,这两种陈述在某种程度上是对等的。当双色球基本走势图图表新浪爱彩岛民直接说出另双色球基本走势图图表新浪爱彩岛民是什么类型(指控或肯定)时,我们所学到的是,陈述的来源和目标是相似或不同的,而没有学习实际的类型。但是,当双色球基本走势图图表新浪爱彩岛民发表关于相似性或差异性的陈述时,我们会确切地了解目标是什么类型,而无需了解目标与源是相似还是不同。

岛民可能会说更多有趣的事情,但是一旦您弄清楚了这三种陈述的工作原理,就可以克服难题。 .