معين ) من وجوه الترتيب ( في انتساب بعضها ) أي المادة ( إلى بعض ) كما صورناه في تركيب الحد

الأوسط مع طرفي المطلوب إجمالا وتفصيله ما أفاده بقوله ( وذلك ) الحد المعين ( طرق ) أربعة

( الأول ملازمة بين مفهومين ثم نفي اللازم لينتفي الملزوم أو إثبات الملزوم ليثبت اللازم ) أي

الأول خلاصته ملازمة بين مفهومين هما مضمونا قضيتين المقدم والتالي ثم نفي اللازم الذي

هو التالي لينتج نفي الملزوم أو إثبات الملزوم الذي هو المقدم لينتج ثبوت اللازم فهو بالحقيقة

مقدمتان شرطية متصلة موجبة لزومية واستثنائية حملية هي عين مقدم الشرطية المذكورة أو

نقيض تاليها ويقال له القياس الاستثنائي لما فيه من استثناء عين المقدم أو نقيض التالي كما

عليه المقدم والتالي ونقيضهما في صدر الكلام من كونها مشكوك الوجود والعدم وكون المقدمة

الثانية فيه مصدرة بأداة الاستثناء أعني كلمة لكن ( أو نفي الملزوم لنفي اللازم في المساواة )

يعني فيما إذا كان المقدم والتالي متساويين في التحقق بأن يكون كل منهما لازما للآخر ينتج

نفي المقدم نفي التالي لأن نفي اللازم يستلزم نفي الملزوم وكذا ينتج ثبوت التالي ثبوت المقدم لأن

ثبوت الملزوم يستلزم ثبوت اللازم وإليه أشار إليه بقوله ( أو ثبوت اللازم لثبوت الملزوم فيه )

أي التساوي ( أيضا ) غير أن شارح المختصر قال ولا يلزم من استثناء نقيض المقدم نقيض

التالي ولا من استثناء عين التالي عين المقدم لجواز أن يكون اللازم أعم نعم لو قدر التساوي لزم

ذلك ولكن لخصوص المادة لا لنفس صورة الدليل وهو بالحقيقة لملاحظة لزوم المقدم للتالي

وهو متصل آخر والمصنف رحمه الله نظر إلى أصل الإنتاج وقطع النظر عن نفس صورته كما هو

اللائق باعتبارات الأصوليين ألا ترى أنه أدخل قياس المساواة في الدليل والمنطقيون أخرجوه

منه ( كان ) كان هذا الفعل واجبا ( أو كلما ) كان هذا الفعل واجبا ( أو لو كان ) هذا