قیاسِ خلف ایک مرکب استدلال ہے جس میں اصل مدعا کے نقیض سے محال لازم کر کے نقیض رد کیا جاتا ہے، پھر اصل مدعا ثابت ہوتا ہے۔
اس کی درستی کے لیے ضروری ہے کہ نقیض واقعی نقیض ہو، شرطیہ استلزام درست ہو، محال حقیقی ہو اور دوسرے قیاس میں نفیِ تالی کے صحیح قاعدے سے کام لیا جائے۔
متن کی مثال «ہر انسان حیوان ہے» میں جزئی سالبہ کو فرض کر کے جنس کی نفی کا محال دکھایا گیا ہے۔ اس کے بعد المرقاة کی نئی بحث صورتِ قیاس اور مادۂ قیاس سے متعلق ہے، جو اگلے سبق میں آئے گی۔