பின்வரும் வாக்கியம் "குடிப்பவரின் முரண்பாடு" என்று அழைக்கப்படுகிறது: "பப்பில் ஒருவர் இருக்கிறார், அவர் அல்லது அவள் குடித்தால், பப்பில் உள்ள அனைவரும் குடிக்கிறார்கள்." அந்த ஒரு நபர் மற்றவர்களை குடிக்க தூண்டுகிறாரா அல்லது வேறு ஏதேனும் பின் கதவு இருந்தால் பரவாயில்லை, ஒரு கணத்தில் பார்க்கலாம். இது கணித முதல் வரிசை தர்க்கத்திலிருந்து ஒரு நல்ல உதாரணம்.
பப்பில் உள்ள அனைவரும் மது அருந்துகிறார்கள் அல்லது பப்பில் குறைந்தபட்சம் ஒருவராவது மது அருந்துவதில்லை என்று கூறி ஆரம்பிக்கிறோம். எனவே பின்வரும் வழக்கு வேறுபாடு பொருத்தமானது:
- எல்லோரும் குடிக்கிறார்கள். அப்போது பப்பில் ஒருவர் மது அருந்தினால், பப்பில் உள்ள அனைவரும் மது அருந்துகிறார்கள் - ஏனென்றால் அனைவரும் மது அருந்துகிறார்கள்.
- குறைந்த பட்சம் ஒருவர் குடிப்பதில்லை. குடிப்பழக்கம் இல்லாத எந்த ஒரு நபருக்கும், அவர்கள் குடித்தால், மதுபான விடுதியில் உள்ள அனைவரும் குடிக்கிறார்கள் என்பது உண்மைதான் - அந்த நபர் குடிக்காததால் ( \(A \Rightarrow B\) எப்போதும் உண்மையாக இருக்கும் போது \(A\) பொய்யாக இருக்கும்).
முறைப்படி, தேற்றத்தை எந்த முன்னறிவிப்புக்கும் \(D\) மற்றும் வெறுமையற்ற தொகுப்பு \(P\):
$$\exists x\in P.\ [D(x) \Rightarrow \forall y\in P.\ D(y)]$$