مثال 1: اگر مربع ہے تو چار ضلع ہیں؛ مربع ہے؛ لہٰذا چار ضلع ہیں۔ یہ متصلہ میں اثباتِ مقدم ہے، اس لیے درست۔
مثال 2: اگر مربع ہے تو چار ضلع ہیں؛ چار ضلع ہیں؛ لہٰذا مربع ہے۔ یہ تالی کا اثبات ہے؛ ایسا مستطیل جو مربع نہ ہو، اس کا امکانِ خلاف دکھاتا ہے۔
مثال 3: یہ شکل مثلث یا مربع ہے؛ مثلث نہیں؛ لہٰذا مربع ہے۔ مانعۃ الجمع کی محض اس اطلاع سے نتیجہ نہیں نکلتا، کیونکہ دائرہ بھی ہو سکتا ہے۔
مثال 4: عدد کم از کم 5 یا زیادہ سے زیادہ 5 ہے؛ زیادہ سے زیادہ 5 نہیں؛ لہٰذا کم از کم 5 ہے۔ مانعۃ الخلو میں نفی سے اثبات صحیح ہے۔