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ŭ ĉu alia malantaŭa pordo ekzistas, kiel ni vidos post momento. Ĝi estas bela ekzemplo de matematika predikata 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, ĉiu 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, por arbitra predikativo \(D\) kaj nemalplena aro \(P\) la frazo povas esti prezentita jene:
$$\exists x\in P.\ [D(x) \Rightarrow \forall y\in P.\ D(y)]$$