Fjalia e mëposhtme njihet si "paradoksi i pijeve": "Ka dikush në bar, kështu që nëse ai ose ajo pi, të gjithë në lokal pinë". Nuk ka rëndësi nëse ai person inkurajon të tjerët të pinë apo nëse ekziston një derë tjetër e pasme, siç do ta shohim në një moment. Është një shembull i bukur nga logjika e kallëzuesit matematikor.
Fillojmë duke thënë se ose të gjithë në pijetore pinë ose të paktën një person në pijetore nuk pi. Prandaj, dallimi i rasteve në vijim është i përshtatshëm:
- Të gjithë pinë. Pastaj nëse dikush pi në bar, të gjithë në bar pinë - sepse të gjithë pinë.
- Të paktën një person nuk pi. Për çdo person që nuk pi, është e vërtetë që nëse pinë, të gjithë në pijetore janë duke pirë - pasi personi nuk po pi ( \(A \Rightarrow B\) është gjithmonë e vërtetë kur \(A\) është false).
Formalisht, për një kallëzues arbitrar \(D\) dhe një grup jo bosh \(P\) fjalia mund të përfaqësohet si më poshtë:
$$\exists x\in P.\ [D(x) \Rightarrow \forall y\in P.\ D(y)]$$