Довольно старая вещь, но, возможно, кто-то еще не видел. Задачка из серии про лжецов и правдивцев, строго следующих законам алгебры логики =)
Итак, пусть некий логик решил провести свой отпуск в путешествии по южным морям. Однажды он оказался на острове, который населяли племя лжецов и племя правдивых туземцев. Члены первого племени всегда лгали, члены второго — всегда говорили только правду. Путешественник дошел до места, где дорога раздваивалась, и вынужден был спросить у оказавшегося поблизости туземца, какая из двух дорог ведет в деревню. Узнать, кем был встреченный туземец— лжецом или правдивым человеком,—путешественник не мог. Все же, поразмыслив, логик задал ему один-единственный вопрос и, получив ответ, узнал, по какой дороге следует идти. Какой вопрос задал путешественник?
Итак, пусть некий логик решил провести свой отпуск в путешествии по южным морям. Однажды он оказался на острове, который населяли племя лжецов и племя правдивых туземцев. Члены первого племени всегда лгали, члены второго — всегда говорили только правду. Путешественник дошел до места, где дорога раздваивалась, и вынужден был спросить у оказавшегося поблизости туземца, какая из двух дорог ведет в деревню. Узнать, кем был встреченный туземец— лжецом или правдивым человеком,—путешественник не мог. Все же, поразмыслив, логик задал ему один-единственный вопрос и, получив ответ, узнал, по какой дороге следует идти. Какой вопрос задал путешественник?
Забавнее есть задачка (правда она скорее детская, чем логическая, потому что очень простая :о)) - на остове две деревни, в одной только лжецы, в другой только правдивцы, вы после хорошей прогулки проснулись в деревне, перед вами чувак, вам надо задать один вопрос ему, чтобы понять в какой вы деревне. Вопрос не может никак касаться чувака, его племени, или любого другого чувака в этой деревне.
Путешественник может задать такой вопрос:
"Правда ли что из двух моих следующих утверждений верно только одно:1)Ты лжец. 2) Первая дорога приведет меня в деревню."
Тогда рассмотрим ответы правдивого и лживого чувака. Рассмотрим два случая:
1) Дорога 1 приведет путешественника в деревню. Тогда правдивый чувак ответит "Да". Для лживого чувака оба утевеждения верны, то есть ответ "Нет", но так-как он лжет, то он скажет "Да"
1) Дорога 1 не приведет путешественника в деревню. Тогда правдивый чувак ответит "Нет". Для лживого чувака верно только первое утверждение, то есть ответ "Да", но так-как он лжет, то он скажет "Нет".
То есть, если на вопрос путешественник получт ответ "Да" - первая дорога ведет в деревню, иначе - вторая.
Вообще любой вопрос заданный лжецу, начинающийся с слов "Если я спрошу тебя, то что ты ответишь" превращает лжеца в очень искреннего человека :о)
Нет, так ты установишь кто чувак, но не узнаешь какая дорога.
Надо ткнуть на левую дорогу и спросить так:"Эта дорога привидет в твою деревню?".
4 варианта:
Дорога в деревню правды и чувак лжец - ответ Да.
Дорога в деревню лжи и чувак лжец - ответ Нет.
Дорога в деревню правды и чувак правдивый - ответ Да.
Дорога в деревню лжи и чувак правдивый - ответ Нет.
Видно, что если он отвечает Да, то мы ткнули на правильную дорогу. Иначе идем по другой.