La jena frazo estas konata kiel la "paradokso de drinkulo": "Estas iu en la drinkejo, do se li aŭ ŝi trinkas, ĉiuj en la drinkejo trinkas." Ne gravas ĉu tiu homo instigas aliajn trinki aŭ iu alia malantaŭa pordo ekzistas, kiel ni vidos post momento. Ĝi estas bela ekzemplo de matematika unuaorda logiko.
Ni komencas deklarante ke aŭ ĉiu en la drinkejo trinkas aŭ almenaŭ unu persono en la drinkejo ne trinkas. La sekva kazdistingo do taŭgas:
- Ĉiuj trinkas. Tiam se iu trinkas en la drinkejo, ĉiuj en la drinkejo trinkas — ĉar ĉiuj trinkas.
- Almenaŭ unu persono ne trinkas. Por iu ajn netrinkanta homo, estas vere, ke se ili trinkas, ĉiuj en la drinkejo trinkas - ĉar la persono ne trinkas ( \(A \Rightarrow B\) estas ĉiam vera kiam \(A\) estas malvera).
Formale, la teoremo povas esti formaligita jene por iu predikativo \(D\) kaj nemalplena aro \(P\):
$$\exists x\in P.\ [D(x) \Rightarrow \forall y\in P.\ D(y)]$$