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

الفعل العقاب فهذه الحملية المذكورة مضمونها نفي التالي ينتج نفي المقدم كما أشار إليه بقوله

( فليس ) هذا الفعل واجبا ( أو واجب ) عطف على قوله لا يستحق أي لكن هذا الفعل

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

المساواة لأن كل واجب يستحن تاركه العقاب وكل ما يستحق تاركه العقاب واجب صور

الوجوه الأربعة فيه فقال ( أو ليس واجبا ) مثال لنفي الملزوم ينتج نفي اللازم أعني( فلا

يستحق تاركه )غاية الأمر أنه لم يصرح بذكر الرابع اعتمادا على فهم المخاطب واكتفاء بالإشارة

وهو أي يستحق فهو واجب ( الطريق الثاني ) القياس الاستثنائي المنفصل وهو أيضا

تيسير التحرير ج:1 ص:37

مقدمتان أولاهما شرطية منفصلة حقيقية موجبة حاصلها ( عناد بينهما ) أي بين مفهومين على

ما تقدم ( في الوجود والعدم ) معا فهما قضيتان لا يجتمعان ولا يرتفعان وإحداهما حملية هي

عين المقدم أو التالي فينتج نقيض الآخر أو نقيض أحدهما فينتج عين الآخر وإليه أشار بقوله

( ففي وجود أحدهما عدم الآخر وفي عدمه ) أي أحدهما ( وجوده ) أي الآخر لأنهما

لا يجتمعان ولا يرتفعان ( أو ) شرطية منفصلة مانعة الجمع موجبة حاصلها عناد بينهما( في الوجود

فقط )عطف على قوله في الوجود والعدم فهما قضيتان لا يجتمعان ولكنهما قد يرتفعان

( فمع وجود كل ) منهما من الجزءين ( عدم الآخر ) ضرورة عدم اجتماعهما ( وعدمه ) أي

عدم كل منهما ( عقيم ) أي غير منتج لوجود الآخر لجواز ارتفاعهما معا مثال العناد في الوجود

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

الوجوب ( به ) أي بالوتر ( فليس مندوبا ) ولو قيل لكنه مندوب أنتج فليس واجبا لكنه

لو قيل لكنه ليس بواجب أو ليس بمندوب لم ينتج لجواز أن لا يكون واجبا ولا مندوبا ( أو )