متصلہ شرطیہ میں نفیِ تالی سے نفیِ مقدم کا نتیجہ صحیح ہے۔قیاسِ خلف — مرکب استدلال، محال کا لزوم اور اثباتِ مدعا