JК
Алиса в стране смекалки :: Смаллиан Рэймонд
Страница: 132 из 202Значит, зазеркальный логик должен быть убежден, что Льва в лесу нет.
8. Так как зазеркальный логик убежден, что ложное истинно, а истинное ложно, Бармаглот за всю свою жизнь не высказал ни одного истинного утверждения. Все утверждения, высказанные когда-либо Бармаглотом, ложны. Следовательно, зазеркальный логик должен быть убеждена истинности каждого утверждения Бармаглота.
9. Зазеркальный логик убежден, что у всех грифонов есть крылья. Значит, в действительности у грифонов нет крыльев. Но тогда существует по крайней мере один грифон без крыльев. Следовательно, по крайней мере один грифон должен существовать.
10. Этот вопрос "с подвохом", так как неверно, что зазеркальный логик может быть уверен в обоих фактах, о которых говорится в условиях задачи.
Предположим, зазеркальный логик убежден, что Алиса не достигнет восьмой горизонтали, не став королевой. Значит, неверно, что Алиса не достигнет восьмой горизонтали, не став при этом королевой. В свою очередь это означает, что Алиса достигнет восьмой горизонтали, не став королевой.
Следовательно, верно, что Алиса достигнет восьмой горизонтали, а поэтому зазеркальный логик не может быть убежден, что Алиса достигнет восьмой горизонтали.
Глава 11
Теория Черного Короля
На этом месте разговор Алисы с Шалтаем-Болтаем был прерван странным прерывистым рычанием, доносившимся откуда-то издалека и несколько напоминавшим пыхтенье парового двигателя.
- Что это? - с тревогой спросила Алиса.
8. Так как зазеркальный логик убежден, что ложное истинно, а истинное ложно, Бармаглот за всю свою жизнь не высказал ни одного истинного утверждения. Все утверждения, высказанные когда-либо Бармаглотом, ложны. Следовательно, зазеркальный логик должен быть убеждена истинности каждого утверждения Бармаглота.
9. Зазеркальный логик убежден, что у всех грифонов есть крылья. Значит, в действительности у грифонов нет крыльев. Но тогда существует по крайней мере один грифон без крыльев. Следовательно, по крайней мере один грифон должен существовать.
10. Этот вопрос "с подвохом", так как неверно, что зазеркальный логик может быть уверен в обоих фактах, о которых говорится в условиях задачи.
Предположим, зазеркальный логик убежден, что Алиса не достигнет восьмой горизонтали, не став королевой. Значит, неверно, что Алиса не достигнет восьмой горизонтали, не став при этом королевой. В свою очередь это означает, что Алиса достигнет восьмой горизонтали, не став королевой.
Следовательно, верно, что Алиса достигнет восьмой горизонтали, а поэтому зазеркальный логик не может быть убежден, что Алиса достигнет восьмой горизонтали.
Глава 11
Теория Черного Короля
На этом месте разговор Алисы с Шалтаем-Болтаем был прерван странным прерывистым рычанием, доносившимся откуда-то издалека и несколько напоминавшим пыхтенье парового двигателя.
- Что это? - с тревогой спросила Алиса.