مانعۃ الخلو: منتج اور غیر منتج

القیاس الاستثنائی — متصلہ اور منفصلہ کے قواعدِ انتاج

درست: عدد کم از کم 5 ہے یا زیادہ سے زیادہ 5 ہے؛ یہ کم از کم 5 نہیں؛ لہٰذا یہ زیادہ سے زیادہ 5 ہے۔

غلط: عدد کم از کم 5 ہے یا زیادہ سے زیادہ 5 ہے؛ یہ کم از کم 5 ہے؛ لہٰذا زیادہ سے زیادہ 5 نہیں۔

دوسری دلیل میں عدد 5 مثالِ مخالف ہے، کیونکہ وہ بیک وقت «کم از کم 5» اور «زیادہ سے زیادہ 5» ہے۔

مانعۃ الخلو سے جو چیز یقینی طور پر معلوم ہے وہ یہ ہے کہ دونوں کی نفی جمع نہیں ہو سکتی۔ اسی بنا پر ایک کی نفی دوسری کا اثبات دیتی ہے۔