d9e5a92d

Решение

Можно: на этот раз из полученного вами ответа следует, что Дракула жив.
   Воспользуемся терминологией задачи 177 и сформулируем утверждение трансильванца следующим образом: "Если я надежен, то Дракула жив".
   В гл. 8 (см. решения задач 109 - 112) мы доказали, что туземец с острова рыцарей и лжецов, высказавший утверждение "если я рыцарь, то то-то и то-то", должен быть рыцарем, а "то-то и то-то" должно быть истинно. Аналогично трансильванец, высказавший утверждение "если я надежен, то то-то и то-то", должен быть надежным, а "то-то и то-то" должно быть истинным. Доказать это можно так же, как это сделано в решении задач 109 - 112 (достаточно слово "рыцарь" заменить словом "надежный")




Содержание раздела