Ивана Царевича кащей посадил в темницу, там две двери, одна ведет на свободу другая в логово дракона. У каждой двери стоит часовой, один из них говорит праду, другой всегда лжет. Кто из них говорит правду, и кто врет, Иван Царевич не знает. Он может спастись , если узнает ,какая дверь ведет на свободу. У него есть право задать один-единственный вопрос стражникам. Какой вопрос должен задать Иван Царевич обоим стражникая, чтобы спастись?
Иван Царевич должен спросить любого из стражников: "Если бы я спросил у вас, какая дверь ведет на свободу, какой ответ даст другой стражник?"
Если Иван спросит этот вопрос стражнику, который всегда говорит правду, тот указал бы на дверь, за которой находится логово дракона, так как он знает, что лжец всегда будет указывать на неверную дверь. А если Иван спросит этот вопрос лжецу, тот тоже указал бы на дверь, за которой находится логово дракона, так как он всегда будет лгать и указывать на неверную дверь. Таким образом, Ивану Царевичу следует выбрать дверь, на которую указал стражник, чтобы спастись.
Иван Царевич может задать следующий вопрос одному из стражников: «Если бы я спросил у другого стражника, какая дверь ведет на свободу, что бы он ответил?»
Эта логическая задача известна и основана на принципе двойного отрицания. Вот как это работает:
Если Иван задает вопрос стражнику, который говорит правду, тот знает, что другой стражник всегда лжет. Поэтому он укажет на дверь, ведущую к логову дракона, так как лжец сказал бы, что это дверь на свободу.
Если Иван задает вопрос стражнику, который всегда лжет, то он соврет о том, что сказал бы честный стражник. Честный бы указал на дверь, ведущую на свободу, но лжец, соврав, укажет на дверь, ведущую к логову дракона.
В обоих случаях ответ будет указывать на дверь, которая ведет в логово дракона. Таким образом, Ивану нужно выбрать другую дверь, чтобы спастись.
