کیا صرف شرطیہ «اگر نقیض ہو تو محال» لکھ دینا کافی ہے؟

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

• جی ہاں، ہر شرطیہ خود بخود ثابت ہے
• صرف جب عبارت عربی ہو
• کیونکہ نتیجہ پہلے ہی سچا ہے
• نہیں، یہ استلزام الگ مقدمات سے ثابت ہونا چاہیے