Ukara ing ngisor iki diarani "paradoks wong ngombe": "Ana wong ing bar, dadi yen dheweke ngombe, kabeh wong ing bar ngombe." Ora preduli manawa wong kasebut nyengkuyung wong liya ngombe utawa manawa ana lawang mburi liyane, kaya sing bakal kita deleng. Iki minangka conto sing apik saka logika predikat matematika.
Kita miwiti kanthi nyatakake yen kabeh wong ing pub ngombe utawa paling ora siji wong ing pub ora ngombe. Pramila prabédan kasus ing ngisor iki cocog:
- Kabeh wong ngombe. Banjur yen ana wong sing ngombe ing bar, kabeh wong ing bar ngombe - amarga kabeh wong ngombe.
- Paling ora siji wong ora ngombe. Kanggo sapa wae sing ora ngombé, bener yen dheweke ngombe, kabeh wong ing pub ngombe - amarga wong kasebut ora ngombe ( \(A \Rightarrow B\) mesthi bener nalika \(A\) palsu).
Sacara resmi, kanggo predikat arbitrer \(D\) lan himpunan ora kosong \(P\) ukara kasebut bisa digambarake kaya ing ngisor iki.:
$$\exists x\in P.\ [D(x) \Rightarrow \forall y\in P.\ D(y)]$$