مدعا: ہر مربع چار ضلع رکھتا ہے۔
نقیضِ مدعا: بعض مربع چار ضلع نہیں رکھتے۔
تعریف کے لحاظ سے مربع چار مساوی اضلاع والا چوکور ہے۔ لہٰذا ایسے کسی مربع کا فرض کرنا جس کے چار ضلع نہ ہوں، مربع کی اسی تعریف کا انکار ہوگا جس کی بنیاد پر اسے مربع کہا گیا ہے۔
اس نقیض سے تعریف کے ساتھ تناقض لازم آتا ہے؛ لہٰذا نقیض رد ہوگا اور مدعا ثابت رہے گا۔ یہاں چار ضلع ہونا مربع کی لازمی تعریف سے متعلق ہے، صرف تجرباتی اندازہ نہیں۔
سبق کھل رہا ہے...
قیاسِ خلف — مرکب استدلال، محال کا لزوم اور اثباتِ مدعا
مدعا: ہر مربع چار ضلع رکھتا ہے۔
نقیضِ مدعا: بعض مربع چار ضلع نہیں رکھتے۔
تعریف کے لحاظ سے مربع چار مساوی اضلاع والا چوکور ہے۔ لہٰذا ایسے کسی مربع کا فرض کرنا جس کے چار ضلع نہ ہوں، مربع کی اسی تعریف کا انکار ہوگا جس کی بنیاد پر اسے مربع کہا گیا ہے۔
اس نقیض سے تعریف کے ساتھ تناقض لازم آتا ہے؛ لہٰذا نقیض رد ہوگا اور مدعا ثابت رہے گا۔ یہاں چار ضلع ہونا مربع کی لازمی تعریف سے متعلق ہے، صرف تجرباتی اندازہ نہیں۔