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

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

درست: یہ شکل مثلث ہے یا مربع ہے؛ یہ مثلث ہے؛ لہٰذا مربع نہیں۔

غلط: یہ شکل مثلث ہے یا مربع ہے؛ یہ مثلث نہیں؛ لہٰذا مربع ہے۔

دوسرے استدلال کے لیے دائرہ بطور مثالِ مخالف کافی ہے۔ دائرہ نہ مثلث ہے نہ مربع۔ مانعۃ الجمع کا اصل بیان اجتماع کی نفی ہے، ہر تیسری صورت کی نفی نہیں۔

ایک ہی «یا» والی عبارت میں اس دوسرے مقدمے کی قسم تبدیل ہونے سے نتیجے کی صحت بدل جاتی ہے۔ اسی لیے استثناء کی نوعیت پہچاننا ضروری ہے۔