179. Нет, нельзя. Не исключено, что ваш трансильванец – человек в здравом уме и граф Дракула жив. Возможно также, что ваш собеседник – упырь, лишившийся рассудка, и графа Дракулы нет в живых. (В действительности если вы обратились с вопросом к упырю, утратившему рассудок, то Дракула мог быть как живым, так и мертвым.)
180. Нет, нельзя.
181. Нет, нельзя. Трансильванец, к которому вы обратились с вопросом, мог быть, например, упырем, лишившимся рассудка. В этом случае граф Дракула мог бы быть как живым, так и мертвым.
182. Можно: на этот раз из полученного вами ответа следует, что Дракула жив.
Воспользуемся терминологией задачи 177 и сформулируем утверждение трансильванца следующим образом: «Если я надежен, то Дракула жив».
В гл. 8 (см. решения задач 109–112) мы доказали, что туземец с острова рыцарей и лжецов, высказавший утверждение «если я рыцарь, то то-то и то-то», должен быть рыцарем, а «то-то и то-то» должно быть истинно. Аналогично трансильванец, высказавший утверждение «если я надежен, то то-то и то-то», должен быть надежным, а «то-то и то-то» должно быть истинным. Доказать это можно так же, как это сделано в решении задач 109–112 (достаточно слово «рыцарь» заменить словом «надежный»).
183. Такое утверждение существует: «Я не надежен, и Дракулы нет в живых». Доказательство предоставляем читателю. (Указание: начните с доказательства ненадежности вашего собеседника.)
184. Такое утверждение существует: «Я надежен в том и только в том случае, если Дракула жив».
В решении задачи 122 из гл. 8 мы доказали, что если туземец с острова рыцарей и лжецов высказывает утверждение «я рыцарь в том и только в том случае, если то-то и то-то», то это «то-то и то-то» должно быть истинно (хотя мы ничего не можем сказать относительно того, рыцарь или лжец наш туземец). Аналогично, если трансильванец высказывает утверждение «я надежен в том и только в том случае, если то-то и то-то», то это самое «то-то и то-то» должно быть истинно независимо от того, надежен ли трансильванец или ненадежен. Доказательство то же, что и прежде (необходимо лишь слово «рыцарь» заменить словом «надежный»).
Приведенное нами утверждение – не единственное. Решением задачи могут служить и другие утверждения, например «я считаю, что утверждение “Дракула жив” эквивалентно утверждению, что я человек». Более забавно следующее утверждение: «Я считаю, что если кто-нибудь спросит меня, жив ли Дракула, то я бы ответил утвердительно».
185. Можно. Из утверждений (1) и (2) следовало бы, что Дракулы нет в живых.
Из утверждения (1) можно заключить, что наш трансильванец – человек. Действительно, упырь, находящийся в здравом уме, знал бы, что он в здравом уме, и заявил бы: «Я лишился рассудка». Упырь, лишившийся рассудка, считал бы, что находится в здравом уме, и заявил бы: «Я лишился рассудка». Следовательно, наш трансильванец – человек.