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

واستثناء نقيض التالي ينتج رفع المقدم
اور تالی کے نقیض کا استثناء مقدم کی نفی کا نتیجہ دیتا ہے۔

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

اس کی وجہ یہ ہے کہ اگر ا موجود ہوتا تو صحیح شرطیہ کے مطابق ب بھی ضرور موجود ہوتا۔ جبکہ ب کی نفی ثابت ہے؛ اس لیے ا کے موجود ہونے کا فرض برقرار نہیں رہ سکتا۔

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

دوسرا درست قاعدہ: نفیِ تالی

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

واستثناء نقيض التالي ينتج رفع المقدم
اور تالی کے نقیض کا استثناء مقدم کی نفی کا نتیجہ دیتا ہے۔

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

اس کی وجہ یہ ہے کہ اگر ا موجود ہوتا تو صحیح شرطیہ کے مطابق ب بھی ضرور موجود ہوتا۔ جبکہ ب کی نفی ثابت ہے؛ اس لیے ا کے موجود ہونے کا فرض برقرار نہیں رہ سکتا۔