اثباتِ مستقیم: مطلوبہ نتیجہ معلوم مقدمات سے براہِ راست اخذ کیا جائے۔
اثبات بالخلف: مطلوبہ نتیجے کے نقیض کو فرض کر کے اس کا ناممکن لازمہ نکالا جائے اور اس کے رد سے اصل نتیجہ ثابت کیا جائے۔
مثلاً «ہر مربع چار ضلع رکھتا ہے» کو مربع کی تعریف سے براہِ راست سمجھا جا سکتا ہے۔ خلف میں فرض کیا جائے گا کہ «کوئی مربع چار ضلع نہیں رکھتا» جیسی مخالف صورت واقع ہوئی، پھر تعریف سے اس کے خلاف لازم آنے کو دکھایا جائے گا۔
یہ صرف طریقۂ استدلال کی مثال ہے؛ اصل نص میں اس مقام پر «كل إنسان حيوان» کی مثال آتی ہے۔
سبق کھل رہا ہے...
قیاسِ خلف — مرکب استدلال، محال کا لزوم اور اثباتِ مدعا
اثباتِ مستقیم: مطلوبہ نتیجہ معلوم مقدمات سے براہِ راست اخذ کیا جائے۔
اثبات بالخلف: مطلوبہ نتیجے کے نقیض کو فرض کر کے اس کا ناممکن لازمہ نکالا جائے اور اس کے رد سے اصل نتیجہ ثابت کیا جائے۔
مثلاً «ہر مربع چار ضلع رکھتا ہے» کو مربع کی تعریف سے براہِ راست سمجھا جا سکتا ہے۔ خلف میں فرض کیا جائے گا کہ «کوئی مربع چار ضلع نہیں رکھتا» جیسی مخالف صورت واقع ہوئی، پھر تعریف سے اس کے خلاف لازم آنے کو دکھایا جائے گا۔
یہ صرف طریقۂ استدلال کی مثال ہے؛ اصل نص میں اس مقام پر «كل إنسان حيوان» کی مثال آتی ہے۔