d9e5a92d

Решение

Высказанное трансильванцем утверждение либо истинно, либо ложно. Предположим, что оно ложно. Тогда трансильванец не человек и не в здравом уме. Следовательно, он должен быть упырем, лишившимся рассудка. Но такие упыри высказывают только истинные утверждения, и мы приходим к противоречию. Значит, высказанное трансильванцем утверждение истинно. Такие утверждения могут высказывать только люди в здравом уме и упыри, лишившиеся рассудка. Если бы наш трансильванец был бы упырем, лишившимся рассудка, то он не был бы ни человеком, ни лицом, находящимся в здравом уме. Следовательно, высказанное им утверждение было бы ложным. Но мы знаем, что оно истинно. Следовательно, наш трансильванец должен быть человеком в здравом уме.




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