騎士、奴隷、法則 – 厳しいもの

私はこのパズルを発見し、それを解決するのが難しいです:

アリス、ボブ、クリスという3人の人を想像してみてください。それぞれの人は騎士、騎兵、またはノーマルです。正確にグループの1人は騎士です。あなたは誰を見つけることができますか?

その声明:

  • クリスは言う:ボブと私の両方がノーベルではないなら、アリス、ボブと私はすべて法線です。

  • ボブは、クリスと私の両者が法線であるか、あるいはアリスと私の両方が法線であると言います。

注:騎士は常に真実を伝え、常に嘘をついています。法曹は真実や嘘を伝えることができます。

Source: http://logicgarden.pythonanywhere.com/posts/first-puzzle-2017

MAJOR EDIT Apparently there are two possible
answers.

ベストアンサー

可能性を排除することでこれを可能にします。私たちは彼らのうちの1人が騎士であることを正確に知っています。したがって、それぞれが騎士であると仮定すればどうなるか見てみましょう。

ボブが騎士であると仮定する

したがって、彼の声明は真実でなければならない。しかし、ボブはナイトなのでノーマルにはなれません。したがって、「クリスと私は法線です」という文は偽です。同様に、「アリスと私は法線です」もまた偽です。したがって、文全体が偽です。これは矛盾です。

したがって、ボブは騎士になれません。

クリスは騎士だと仮定

クリスの声明は、彼が騎士であるから真実でなければならない。私たちはボブがナイトではないことを知っています。正確に1つあるので、彼はノーマルでもノヴァでもあります。

BobがNormalの場合、ChrisとBobの両方がKnavesではないため、Alice、Bob、ChrisのすべてがNormalsでなければなりません。クリスはノーマルでも騎士でもないので、これは矛盾です。したがって、ボブはノーマルではなく、代わりにノーブでなければなりません。

BobはKnaveなので、彼の声明は偽でなければならない。

この “and”の使用はやや曖昧ですが、論理的には
“or”で接続された2つの節と同等であると考えています。両方の句が偽(ボブはノーマルではないので)なので、この解釈(と私が考えることができる他のすべての解釈)では、文全体が偽であり、これはボブがノーブであるためである必要があります。

したがって、ChrisはKnight、Bob a
Knave、AliceはNormalまたはKnaveのいずれかになります。

アリスは騎士だと仮定

残念ながら、これは私たちに最小の情報を与えます。クリスとボブは騎士、ノーマル、またはそれらの混合物でなければなりません。ナイツ(正確には1人)になることはできないからです。

クリスはノーブだと言います。したがって、彼の声明は偽でなければならない。それを偽にする唯一の方法は、最初の句(「Bobと私はKnavesではない」)を真にし、2番目の句(「Alice、Bob、およびIのすべてがNormals」)をfalseにすることです。残念ながら、ChrisはKnaveなので、最初の節をfalseにする方法はありません。したがって、クリスはノーブではなく、ノーマルでなければなりません。

BobがKnaveだと言うことができます。従って、彼の声明は偽でなければならないので、両方の句は偽でなければならない。したがって、クリスとボブのうちの1人はノーマルであってはならず、アリスとボブのうちの1人はノーマルであってはなりません。
BobはKnaveなので、これはAliceが何であるかに関わらず、彼の全文を誤ったものにする。

ボブがノーマルだった場合、そのステートメントは真であり、これは許される。

すべてのソリューション

ソリューションの完全なリストは次のとおりです。

– アリス=ナイト、ボブ=ノーブ、クリス=ノーマル
  – アリス=ナイト、ボブ=ノーマル、クリス=ノーマル
  – Alice = Knave、Bob = Knave、Chris = Knight
  – アリス=ノーマル、ボブ=ノーブ、クリス=ナイト

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です