A következő mondat az "ivók paradoxona" néven ismert: "Van valaki a bárban, tehát ha ő iszik, a bárban mindenki iszik." Nem számít, hogy az egyik személy inni buzdít-e másokat, vagy van-e másik hátsó ajtó, amint azt egy pillanat múlva látni fogjuk. Ez egy szép példa a matematikai predikátumlogikából.
Kezdjük azzal, hogy a kocsmában vagy mindenki iszik, vagy a kocsmában legalább egy ember nem iszik. Ezért helyénvaló a következő esetek megkülönböztetése:
- Mindenki iszik. Aztán ha valaki iszik a bárban, mindenki iszik a bárban – mert mindenki iszik.
- Legalább egy ember nem iszik. Minden nem ivó emberre igaz, hogy ha iszik, akkor a kocsmában mindenki iszik – mivel az illető nem iszik ( \(A \Rightarrow B\) mindig igaz, ha \(A\) hamis).
Formálisan egy tetszőleges \(D\) predikátum és egy nem üres halmaz \(P\) esetén a mondat a következőképpen ábrázolható:
$$\exists x\in P.\ [D(x) \Rightarrow \forall y\in P.\ D(y)]$$