مثلاً ایک معین صحیح عدد کے بارے میں قضیہ بنائیے:
«یہ عدد یا جفت ہے یا طاق ہے»۔
اس منفصلہ کے مجموعی حکم کی نفی یوں بیان کی جائے گی:
«یہ درست نہیں کہ اس عدد کے لیے اس مخصوص تقسیم میں ایک ہی متبادل صادق ہو»۔
اس کا مطلب یہ نہیں کہ «یہ عدد جفت نہیں» اکیلا ہی پورے منفصلہ کا نقیض ہے؛ کسی عدد کا جفت نہ ہونا تو اس کے طاق ہونے کے ساتھ اصل منفصلہ کو سچ رکھ سکتا ہے۔
منفصلہ کی حقیقیہ، مانعۃ الجمع یا مانعۃ الخلو ہونے کے مطابق متعلقہ اختلاف و جمع کا پورا حکم سامنے رکھنا پڑتا ہے۔
سبق کھل رہا ہے...
تناقض کی تعریف، شرائط اور قضایا میں اس کا اطلاق
مثلاً ایک معین صحیح عدد کے بارے میں قضیہ بنائیے:
«یہ عدد یا جفت ہے یا طاق ہے»۔
اس منفصلہ کے مجموعی حکم کی نفی یوں بیان کی جائے گی:
«یہ درست نہیں کہ اس عدد کے لیے اس مخصوص تقسیم میں ایک ہی متبادل صادق ہو»۔
اس کا مطلب یہ نہیں کہ «یہ عدد جفت نہیں» اکیلا ہی پورے منفصلہ کا نقیض ہے؛ کسی عدد کا جفت نہ ہونا تو اس کے طاق ہونے کے ساتھ اصل منفصلہ کو سچ رکھ سکتا ہے۔
منفصلہ کی حقیقیہ، مانعۃ الجمع یا مانعۃ الخلو ہونے کے مطابق متعلقہ اختلاف و جمع کا پورا حکم سامنے رکھنا پڑتا ہے۔