Ладно я думаю ответ уже понятен всем.
Привожу чуть более громоздкое, но зато авторское "литературно оформленное" решение, но полностью выдержанное в рамках логики:

Решение. Да, существует такой человек, что если он пьет, то пьют все. Это следует в конечном счете из странного принципа, согласно которому из ложного утверждения следует любое утверждение.

Взглянем на проблему со следующей точки зрения. Утверждение о том, что все пьют, либо истинно, либо ложно. Предположим, что оно истинно. Выберем кого-нибудь и назовем нашего избранника Джимом. Так как все пьют и Джим пьет, то верно, что если Джим пьет, то все пьют. Следовательно, существует по крайней мере один такой человек (а именно Джим), что если пьет он, то все пьют.

Предположим теперь, что наше утверждение ложно, то есть не верно, что все пьют. Что тогда? B этом случае существует по крайней мере один человек (назовем его Джимом), который не пьет. Поскольку не верно, что Джим пьет, то верно, что если Джим пьет, то пьют все. Следовательно, и в этом случае существует такой человек (а именно Джим), что если он пьет, то пьют все.

Подведем итог. Назовем загадочной фигурой всякого, кто обладает странным свойством: если он пьет, то пьют все.

Суть дела заключается в том, что если пьют все, то каждый может служить загадочной фигурой. Если же пьют не все, то загадочной фигурой может служить любой непьющий.

Отредактировано vetal (2013-11-17 00:36:16)

Вот еще один пример в качества "упра":
вариант проблемы, двойственный принципу пьяницы: существует ли по крайней мере один человек, такой, что если кто-нибудь пьет, то пьет и он?

Эпилог

Когда я рассказал о принципе пьяницы своим студентам Линде Ветцель и Джозефу Беванер, они пришли в восторг. Вскоре после этого они прислали мне поздравительную открытку со следующим воображаемым диалогом (который вполне мог произойти в кафетерии после обеда).

Логик. Я знаю одного парня. Когда он пьет, пьют все.

Студент. Я вас не совсем понял. Что вы имеете в виду, когда говорите, что пьют все? Все человечество?

Логик. Да, конечно.

Студент. Но это же немыслимо! Вы хотите сказать, что стоит ему пропустить стаканчик, как тотчас же все обитатели Земли до единого выпивают свою порцию?

Логик. Вы совершенно правы.

Студент. Но это означает, что в какой-то момент времени все обитатели Земли выпивали одновременно. Такого же просто никогда не было!

Логик. Вы не слишком внимательно слушали меня.

Студент. Я выслушал вас достаточно внимательно. Более того, я опроверг вашу логику.

Логик. Вы говорите чепуху. Логику нельзя опровергнуть.

Студент. Как же нельзя, когда я только что опроверг?

Логик. Не вы ли говорили мне, что вы не пьете?

Студент. Гм... Знаете, давайте лучше поговорим о чем-нибудь другом.

Отредактировано vetal (2013-11-17 00:46:21)

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

Книжка называется "Как же называется эта книга?". Автор - Рэймонд Смаллиан. Собственно у него еще несколько книг с задачками по этой тематике - "Алиса в стране смекалки", "Принцесса или тигр". Вполне вероятно, что еще есть.

Задач типа Эйнштейновской там конечно нет, но уверен, что и от решения тех задач, все вы получите массу удовольствия.

Как все красиво, дорогой Веталь, и если бы сюда шрифт старинный такой, с красивыми линиями и наклонный, то было бы просто чудесно! В атмосфере звенящих шпаг и белоснежных пышных манжетов, напудренных париков и блестящих камзолов. Ах...

О! Поискала и нашла на рутрекере...
Открываю и читаю )
Вроде читала это когда-то, может, встречалось просто на глаза. Надо будет почитать, спасибо!

Кажется, я поняла. Хотя с трудом.

Да это она.
Ну там дальше конечно интереснее.
Меня конечно больше всего "повергли в шок" (в хорошем смысле этого слова) задачи по "зазеркальной логике" из "Алисы в стране смекалки" (глава 10). Это просто "разрыв мозга", пока не начнешь понимать принцип работы с этими понятиями.

Если не брать фактор одновременности - то да, наверное. Все.