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

فإن كانت الشرطية متصلة فاستثناء عين المقدم ينتج عين التالي
اگر شرطیہ متصلہ ہو تو عینِ مقدم کا استثناء عینِ تالی کو نتیجے میں پیدا کرتا ہے۔

ترتیب:
اگر ا تو ب۔
لیکن ا ثابت ہے۔
لہٰذا ب ثابت ہے۔

شرطیہ نے ا سے ب کا لازم ہونا مقرر کیا، اور دوسرا مقدمہ ا کے واقع ہونے کی خبر دیتا ہے۔ اس لیے ب کا نتیجہ نکلنا اسی قائم شدہ نسبت کا تقاضا ہے۔ یہ استدلال صرف صورت کی وجہ سے صحیح ہے؛ کسی خاص مثال کے الفاظ کی وجہ سے نہیں۔

سبق کھل رہا ہے...

پہلا درست قاعدہ: اثباتِ مقدم

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

فإن كانت الشرطية متصلة فاستثناء عين المقدم ينتج عين التالي
اگر شرطیہ متصلہ ہو تو عینِ مقدم کا استثناء عینِ تالی کو نتیجے میں پیدا کرتا ہے۔

ترتیب:
اگر ا تو ب۔
لیکن ا ثابت ہے۔
لہٰذا ب ثابت ہے۔

شرطیہ نے ا سے ب کا لازم ہونا مقرر کیا، اور دوسرا مقدمہ ا کے واقع ہونے کی خبر دیتا ہے۔ اس لیے ب کا نتیجہ نکلنا اسی قائم شدہ نسبت کا تقاضا ہے۔ یہ استدلال صرف صورت کی وجہ سے صحیح ہے؛ کسی خاص مثال کے الفاظ کی وجہ سے نہیں۔