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