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