Парадокс пьяницы

Парадокс пьяницы — утверждение, которое утверждает что в любом кабаке существует по крайней мере один такой человек, что если он пьёт, то пьют все (предполагается, что в кабаке есть по крайней мере один человек). Это утверждение, сформулированное в формальной логике, оказывается верным.

Источник: Википедия

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я