В. Есть ли сокровища на этом острове?
Задачи двух предыдущих групп были связаны в основном с условными высказываниями, то есть с высказываниями вида «Если P истинно, то Q. Задачи этой группы связаны главным образом с высказываниями вида „P истинно в том и только в том случае, если Q истинно“. Оно означает, что если P истинно, то Q истинно, и если Q истинно, то P истинно. Иначе говоря, если одно из двух высказываний P, Q истинно, то другое также истинно. Оно означает также, что высказывания P и Q либо оба истинны, либо оба ложны. Сложное высказывание „P в том и только в том случае, если Q“ принято обозначать P <⇒ Q».
Таблица истинности для P <⇒ Q имеет следующий вид:
Высказывание «P в том и только в том случае, если Q» иногда читают как «P эквивалентно Q» или как «P и Q эквивалентны». Отметим два следующих факта:
Факт 1. Любое высказывание, эквивалентное истинному высказыванию, истинно.
Факт 2. Любое высказывание, эквивалентное ложному высказыванию, ложно.
122. Есть ли сокровище на этом острове?
На некотором острове, населенном рыцарями и лжецами, разнесся слух о том, что на нем зарыты сокровища. Вы прибываете на остров и спрашиваете у одного из местных жителей (назовем его A), есть ли золото на его острове. В ответ на ваш вопрос A заявляет: «Сокровища на этом острове есть в том и только в том случае, если я рыцарь».
Наша задача подразделяется на две части:
а) Можно ли определить, кто такой A — рыцарь или лжец?
б) Можно ли определить, есть ли сокровища на острове?
123.
В предыдущей задаче коренной житель A острова рыцарей и лжецов добровольно снабдил вас информацией. Предположим, что теперь вы спросили у A: «Эквивалентно ли высказывание о том, что вы рыцарь, высказыванию о том, что на этом острове спрятаны сокровища?» Если бы A ответил «да», то задача свелась бы к предыдущей. Предположим, что A ответил «нет». Могли бы вы в таком случае сказать, спрятаны ли сокровища на острове?
124. Как я разбогател.
К сожалению, история, которую я хочу вам поведать, не соответствует истине. Но поскольку она интересна, то мне все равно хочется рассказать ее вам.
В океане (в каком именно — не помню) неподалеку друг от друга расположены три острова: A, B и C. Мне удалось разузнать, что по крайней мере на одном из них закопаны сокровища, но на каком именно, осталось невыясненным. Острова B и C были необитаемы, население острова A составляли рыцари и лжецы. Не исключено, что среди местных жителей встречались и нормальные люди, но сказать с уверенностью, был ли на острове хоть один нормальный человек, я не берусь.
