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