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

Какойбы из клубов мы ни выбрали, все мужское население города, не состоящее членами этого клуба, влюблено в каждую жительницу города, состоящую членом "Клуба Червей".

Лиллиан живет в этом городе, - продолжал Шалтай-Болтай.

- Неизвестно,"однако, состоит ли она членом "Клуба Червей". Ричард также живет в этом городе. Относительно него также неизвестно, состоит ли он членом "Клуба Червей".

Спрашивается, можно ли определить, любит ли Ричард Лиллиан?

- Я не знаю даже, как подступиться к этой задаче! - призналась Алиса.

- Это все от того, что ты не думаешь! - строго сказал Шалтай-Болтай. - Между тем задача вполне разрешима. Дело в том ... Нет, ты ни за что не поверишь, если я тебе сейчас скажу ... Тебе это покажется просто невероятным! Я хочу тебе сказать, что в городе, о котором говорится в задаче, все мужчины должны быть влюблены во всех женщин! Поразмыслив, Алиса сказала:

- Я все еще не понимаю почему.

- Видишь ли, дитя мое, из первой посылки следует, что каждая женщина в городе должна состоять членом "Клуба Червей". Почему? Давай рассуждать. Выберем наугад любую жительницу города. Она либо состоит членом всех клубов, либо не состоит членом всех клубов. В первом случае она должна состоять членом "Клуба Червей", а во втором заведомо состоит членом этого клуба, так как "Клуб Червей" - один из существующих в городе клубов.

Следовательно, и в том и в другом случае любая жительница города состоит членом "Клуба Червей".