Ukara ing ngisor iki dikenal minangka "paradoks wong ngombe": "Ana wong ing pub sing yen dheweke ngombe, kabeh wong ing pub ngombe." Ora preduli yen wong siji nyengkuyung wong liya ngombe utawa ana lawang mburi liyane, kaya sing bakal kita deleng. Iki minangka conto sing apik saka logika urutan pertama 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 sing ngombe ing pub, kabeh wong ing pub 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, teorema bisa diformalake kaya ing ngisor iki kanggo predikat \(D\) lan himpunan non-kosong \(P\):
$$\exists x\in P.\ [D(x) \Rightarrow \forall y\in P.\ D(y)]$$