أقسام المنفصلة
للمنفصلة تقسيمان :
أ ـ العنادية والاتفاقية
وهذا التقسيم باعتبار طبيعة التنافي بين الطرفين کالمتصلة فتنقسم الي :
١ ـ (العنادية) وهي التي بين طرفيها تناف وعناد حقيقي بأن تکون ذات النسبة في کل منهما تنافي وتعاند ذات النسبة في الآخر نحو (العدد الصحيح اما أن يکون زوجا آو فردا).
٢ ـ (الاتفاقية) وهي التي لا يکون التنافي بين طرفيها حقيقيا ذاتيا وانما يتفق أن يتحقق احدهما بدون الآخر لامر خارج عن ذاتهما نحو : (اما أن يکون الجالس في الدار محمدا أو باقرا) اذا اتفق ان علم ان غيرهما لم يکن. ونحو : (هذا الکتاب اما أن يکون في علم المنطق واما أن يکون مملوکا لخالد) اذا اتفق ان خالدا لا يملک کتابا في علم المنطق واحتمل أن يکون هذا الکتاب المعين في هذا العلم.
ب ـ الحقيقية ومانعة الجمع ومانعة الخلو
وهذا التقسيم باعتبار امکان اجتماع الطرفين ورفعهما وعدم امکان ذلک فتنقسم الي :
١ ـ (حقيقية) وهي ما حکم فيها بتنافي طرفيها صدقا وکذبا في الايجاب وعدم تنافيهما کذلک في السلب بمعني انه لا يمکن اجتماعهما ولا ارتفاعهما في الايجاب ويجتمعان ويرتفعان في السلب.
مثال الايجاب العدد الصحيح اما أن يکون زوجا أو فردا فالزوج والفرد لا يجتمعان ولا يرتفعان.
مثال السلب ـ ليس الحيوان اما أن يکون ناطقا واما أن يکون قابلا للتعليم فالناطق والقابل للتعليم يجتمعان في الانسان ويرتفعان في غيره.