أن نعرف نوع الاضافة، فقد تكون عقيمة وغير قادرة على الإنتاج فيبطل الاستدلال فمثلا:

1- في الاستدلال المباشر، لا يمكن أن نعكس عكسا بسيطا إلا إذا كانت الإضافة تماثلية فلا نقدر أن نقول: زيد أب لعمرو- وعمرو اب لزيد. لأن الأبوة إضافة لا تماثلية. وكذلك لا نستطيع أن نقول في عكس كل الشعراء فنانون، كل الفنانون شعراء إذ الإضافة لا تماثلية، والسبب واضح. إذ العلاقة بين أن يكون كل أفراد نوع، من صنف معين لا يستوجب أن يكون كل أفراد الصنف في النوع أيضا.

بينما نستطيع أن نقول في عكس بعض الشعراء فنانون، بعض الفنانين شعراء، إذ علاقة البعضية تماثلية فإذا كان بعض أنواع الإنسان حيوان فبعض الحيوان إنسان أيضا.

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

3- وكذلك يصح الاستدلال في الإضافات المتعدية بشكل متسلسل (مفصول النتيجة) مثل أن نقول: الغدر كذب- والكذب إثم- والإثم في النار. إذن، فالغدر في النار.

الحساب المنطقي:

لا يمكن فصل المفهوم عن المصداق كما سبق، إنما يمكن تركيز النظر إلى أحدهما مؤقتا دون الآخر، فمثلا: لو قلنا إنسان فتارة نتوجه إلى جانب الصفات الإنسانية الموجودة بالطبع في الأفراد، فنكون قد ركزنا النظر في