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