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