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