(٢) الطرد: كونه غير مانع. والعكس: كونه غير جامع. فالطرد في الاصطلاح: هو الملازمة في الثبوت. وقضيته: كلما وجد الحد وُجد المحدود. والعكس في الاصطلاح: الملازمة في الانتفاء. وقضيته: كلما انتفى الحد انتفى المحدود. فإذا صدقت قضية: كلما وجد الحد وجد المحدود - لزم منع غير المحدود من الدخول قطعًا، كقولك: كلما وجد الحيوان الناطق وجد الإنسان. فهذا الحد مطرد، أي: مانع من دخول غير الإنسان، فإن اختلت قضية الملازمة في الثبوت اختل المنع، فلو قلت: كلما وجد الحيوان وجد الإنسان - فهذا ليس بصحيح؛ لأن وجود الإنسان لا يلزم من وجود الحيوان، فلو عرَّفت الإنسان بأنه حيوان، كان الحد غير مانع من دخول غير الإنسان كالفرس، وإنما كان غير مطردٍ أي: غير مانع؛ لاختلال الملازمة في الثبوت. وكذلك الملازمة في الانتفاء إن اختلت لزم من ذلك اختلال جميع أفراد المحدود، فلو قلت مثلًا: كلما انتفى الناطق انتفى الحيوان فهذا ليس بصادق، ولذلك لو عرفت الحيوان بأنه الناطق كان غير جامع لجميع أفراد الحيوان؛ لأن منها ما ليس ناطقًا. وحاصل إيضاح هذا أن النسبة بين الحد والمحدود إن كانت المساواة كان جامعًا مانعًا. انظر: آداب البحث والمناظرة ق ١/ ٤٢، ٤٣.