الدليل والمدلول إما بالاشتمال ... وإما بالاستلزام الذي لا اشتمال معه، فإما صريحا كما في الاستثنائيات المتّصلة وإما غير صريح كما في الاستثنائيات المنفصلة.

وأما الاقترانيات الشرطية فراجعة إما إلى الاستلزام أو الاشتمال فتأمل. (مو 2، 16، 12)

-القياس الاقتراني: نقيض الاستثنائي وهو ما لا يكون عين النتيجة ولا نقيضها مذكورا فيه بالفعل كقولنا الجسم مؤلّف وكل مؤلّف محدث ينتج الجسم محدث فليس هو ولا نقيضه مذكورا في القياس بالفعل. (تع، 160، 2)

-كل قياس اقتراني لا بدّ فيه من قضيّتين، وذلك لأن القياس لا بدّ أن يشتمل على أمر يناسب إما لمجموع المطلوب وإما لأجزائه. فالأول هو القياس الاستثنائي ... ولا بدّ فيه أيضا من مقدّمتين، والثاني هو الاقتراني فلا بدّ فيه من أمر آخر يكون له نسبة إلى كل واحد من طرفي المطلوب، فيحصل مقدّمتان قطعا سواء كانتا حمليتين أو لا. (شمس، 127، 17)

-الاستثنائي الذي يستثنى فيه نقيض التالي إذا كان مذكورا بلو يسمّى قياس الخلف، وتعريفه إيّاه بإثبات الشي ء بإبطال نقيضه يتناول ما يكون قياسا بسيطا كذلك.

والجمهور على أن الخلف قياس مركّب بأن يوضع المطلوب غير حق فيلزمه وضع نقيضه على أنه حق، ويكون ملزوما لمحال فهنا قياسان أحدهما اقتراني شرطي، هكذا لو لم يكن المطلوب حقّا لكان نقيضه حقّا ولو كان نقيضه حقّا كان المحال ثابتا، فينتج لو لم يكن المطلوب حقّا لكان المحال ثابتا، والملازمة الأولى بديهية وأما الثانية فربما تحتاج إلى بيان بقياس واحد أو متعدّد. وثانيهما استثنائي وهو أن توضع تلك النتيجة ويستثنى نقيض تاليها فينتج أن المطلوب حق ومثل قولنا لو كان هذا إنسانا لكان حيوانا لكنه ليس بحيوان فليس بإنسان قياس مذكور بلو ولا يسمّى خلفا عندهم. وكذلك قولنا لو صدق نقيض المطلوب لصدق كذا والتالي باطل لا يكون قياس خلف لبساطته. والجواب عن الأول أنه أراد أن الثاني وهو المذكور أكثره بلو يسمّى قياس خلف لا مطلقا بل إذا كان إثبات شي ء بإبطال نقيضه واعتمد في ذلك على ما عقبه به من حدّه. وما أوردتموه من المثال لا يندرج فيه إذ لم يؤخذ الموضوع هناك مقدّما على أنه نقيض للشي ء المطلوب بل على أنه ملزوم لتاليه المرفوع فيلزم ارتفاعه الذي هو بعينه إبطاله فيكون هو المطلوب لا وسيلة إليه، وعن الثاني أن بعض الفضلاء المتأخّرين اختار أن الخلف قياس استثنائي من متّصلة مقدّمها نقيض المطلوب وتاليها أمر محال يحتاج في بيان لزومه إيّاه إلى قضية مسلمة فيكون قياسا بسيطا استثنائيّا يستثنى فيه