Ayat berikut dikenali sebagai "paradoks peminum": "Terdapat seseorang di bar, jadi jika dia minum, semua orang di bar itu minum." Tidak kira sama ada seseorang itu menggalakkan orang lain minum atau sama ada pintu belakang lain wujud, seperti yang akan kita lihat sebentar lagi. Ia adalah contoh yang bagus daripada logik predikat matematik.
Kami mulakan dengan menyatakan bahawa sama ada semua orang di pub minum atau sekurang-kurangnya seorang di pub tidak minum. Oleh itu, perbezaan kes berikut adalah sesuai:
- Semua orang minum. Kemudian jika seseorang minum di bar, semua orang di bar minum - kerana semua orang minum.
- Sekurang-kurangnya seorang tidak minum. Bagi mana-mana orang yang tidak minum, adalah benar bahawa jika mereka minum, semua orang di pub sedang minum - kerana orang itu tidak minum ( \(A \Rightarrow B\) sentiasa benar apabila \(A\) adalah palsu).
Secara formal, untuk predikat arbitrari \(D\) dan set tidak kosong \(P\) ayat itu boleh diwakili seperti berikut:
$$\exists x\in P.\ [D(x) \Rightarrow \forall y\in P.\ D(y)]$$