Төмөнкү сүйлөм "ичкендердин парадоксу" деп аталат: "Барда бирөө бар, демек ал ичсе, барда баары ичет". Ошол бир адам башкаларды ичүүгө үндөп жатабы же башка арткы эшик барбы, бул маанилүү эмес, биз бир аздан кийин көрөбүз. Бул математикалык предикат логикасынан жакшы мисал.
Биз пабдагылардын баары ичет же пабда жок дегенде бир адам ичпейт деп баштайбыз. Демек, төмөнкү жагдайды айырмалоо ылайыктуу:
- Баары ичет. Анан барда бирөө ичсе, барда баары ичет – анткени баары ичет.
- Жок дегенде бир адам ичпейт. Ичпеген ар бир адам үчүн, эгер ичсе, пабдагылардын баары ичип жатканы чын, анткени ал адам ичпегендиктен ( \(A \Rightarrow B\) \(A\) жалган болгондо дайыма чындык болот).
Формалдуу түрдө ыктыярдуу предикат \(D\) жана бош эмес топтом \(P\):
$$\exists x\in P.\ [D(x) \Rightarrow \forall y\in P.\ D(y)]$$