اسباققیاسِ خلف — مرکب استدلال، محال کا لزوم اور اثباتِ مدعاکوئز

لكن المحال ليس بثابت، فبالضرورة ثبت المدعى
لیکن محال ثابت نہیں، لہٰذا ضروری طور پر مدعا ثابت ہوگیا۔

یہ جملہ دوسرے قیاس کا آخری مرحلہ واضح کرتا ہے۔ جب «مدعا کی نفی» سے محال کا لزوم صحیح ثابت ہو اور محال واقع نہ ہو سکتا ہو، تو مدعا کی نفی رد ہو جاتی ہے۔

اس کے بعد اصل مدعا کا ثبوت اس قاعدے سے ہوتا ہے کہ قضیہ اور اس کا صحیح نقیض دونوں باطل نہیں ہو سکتے۔

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

متن میں نفیِ محال

قیاسِ خلف — مرکب استدلال، محال کا لزوم اور اثباتِ مدعا

لكن المحال ليس بثابت، فبالضرورة ثبت المدعى
لیکن محال ثابت نہیں، لہٰذا ضروری طور پر مدعا ثابت ہوگیا۔

یہ جملہ دوسرے قیاس کا آخری مرحلہ واضح کرتا ہے۔ جب «مدعا کی نفی» سے محال کا لزوم صحیح ثابت ہو اور محال واقع نہ ہو سکتا ہو، تو مدعا کی نفی رد ہو جاتی ہے۔

اس کے بعد اصل مدعا کا ثبوت اس قاعدے سے ہوتا ہے کہ قضیہ اور اس کا صحیح نقیض دونوں باطل نہیں ہو سکتے۔