Алиса в стране смекалки   ::   Смаллиан Рэймонд

Предположим, я скажу тебе, что был на свете человек ростом шесть футов, а человек не был ростом шесть футов. Что ты на это скажешь?

- Скажу, что такого человека не было, - ответила Алиса.

- Хорошо! А предположим, я скажу тебе, что был на свете брадобрей, который сам ни брился, ни не брился. Что ты на это скажешь?

- Скажу, что такого брадобрея на свете не было, - ответила Алиса.

- Прекрасно! Именно о таком брадобрее и идет речь в твоей истории! Ведь твой брадобрей не мог бы ни бриться сам, ни не бриться сам! Следовательно, такого брадобрея на свете не было. Вот тебе логика!

На этот раз объяснения Шалтая-Болтая полностью убедили Алису.

- Существует близкая задача, которая позволяет яснее представить себе всю проблему. - продолжал Шалтай-Болтай. - В некотором городе живут два брадобрея. Назовем их брадобрей A и брадобрей B. Дано, что брадобрей A бреет всех жителей города, которые не бреются сами, но не дано, что он не бреет еще каких-нибудь жителей города. Относительно брадобрея B известно, что он не бреет ни одного жителя города, который бреется сам, но не обязательно бреет всех жителей города, которые не бреются сами. В этом случае вполне возможно, что брадобреи A и B существуют. Такое предположение ничему не противоречит.

- А в чем задача? - спросила Алиса.

- Задача состоит из двух частей. Бреет ли себя или не бреет брадобрей A? И бреет ли себя или не бреет брадобрей B? Алиса немного подумала.