«وأما المنفصلة: فهي التي حكم فيها بالتنافي بين شيئين في موجبة، وسلب التنافي بينهما في سالبة»
منفصلہ وہ شرطیہ ہے جس کی موجبہ صورت میں دو چیزوں کے درمیان تنافی کا حکم ہو اور سالبہ صورت میں اس تنافی کی نفی کی جائے۔
تنافی سے مراد یہ ہے کہ دونوں باتوں میں کسی خاص اعتبار سے ایک ساتھ سچ یا ایک ساتھ جھوٹ ہونے کی گنجائش نہ ہو۔ یہ گنجائش کس طرح بند ہوتی ہے، اس کی بنیاد پر منفصلہ کی مختلف اقسام بنتی ہیں۔
مثال «یہ عدد یا جفت ہے یا طاق» میں دو دعوے سامنے ہیں۔ ان کے باہمی صدق و کذب کا جائزہ لیے بغیر صرف لفظ «یا» دیکھ کر اس کی پوری منطقی نوعیت نہیں سمجھی جا سکتی۔