ب ـ الحقيقية ومانعة الجمع ومانعة الخلو
وهذا التقسيم باعتبار امکان اجتماع الطرفين ورفعهما وعدم امکان ذلک فتنقسم الي :

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

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

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