أن نعرف نوع الإضافة ، فقد تكون عقيمة وغير قادرة على الإنتاج فيبطل الاستدلال فمثلا :
1 - في الاستدلال المباشر ، لا يمكن أن نعكس عكسا بسيطا إلا إذا كانت الإضافة تماثلية فلا نقدر أن نقول : زيد أب لعمرو - وعمرو أب لزيد . لأن الأبوة إضافة لا تماثلية . وكذلك لا نستطيع أن نقول في عكس كل الشعراء فنانون ، كل الفنانون شعراء إذ الإضافة لا تماثلية ، والسبب واضح . إذ العلاقة بين أن يكون كل أفراد نوع ، من صنف معين لا يستوجب أن يكون كل أفراد الصنف في النوع أيضا .
بينما نستطيع أن نقول في عكس بعض الشعراء فنانون ، بعض الفنانين شعراء ، إذ علاقة البعضية تماثلية فإذا كان بعض أنواع الإنسان حيوان فبعض الحيوان إنسان أيضا .
2 - وفي الاستدلال غير المباشر يجب أن تكون الرابطة من نوع التعدي فمثلا : لا يمكن أن نقول : زيد أب لعمرو - وعمرو أب لخالد - فزيد أب لخالد . كلا ، إنه جده لا أبوه ، وموضع بطلان القياس ، أنه غير متعدي . بينما يصح أن نقول : زيد أكبر ( سنا ) من عمرو ، وعمرو أكبر من خالد ، إذا زيد أكبر من خالد ، وسبب الصحة : أن الإضافة متعدية .
3 - وكذلك يصح الاستدلال في الإضافات المتعدية بشكل متسلسل ( مفصول النتيجة ) مثل أن نقول : الغدر كذب - والكذب إثم - والإثم في النار . إذن ، فالغدر في النار .
الحساب المنطقي :
لا يمكن فصل المفهوم عن المصداق كما سبق ، إنما يمكن تركيز النظر إلى أحدهما مؤقتا دون الآخر ، فمثلا : لو قلنا إنسان فتارة نتوجه إلى جانب الصفات الإنسانية الموجودة بالطبع في الأفراد ، فنكون قد ركزنا النظر في