إذًا مثال ذلك كلما كان هذا إنسانًا كان حيوانًا لكنه إنسان يُنتج فهو حيوان، فقد أنتج إثبات المقدم الذي هو إنسان، إثبات التالي الذي هو حيوان، لماذا؟ لأن المقدم ملزوم وهو الإنسان، والتالي لازم وهو الحيوان، ويلزم من وجود الملزوم وجود اللازم، ولو قلت في هذا المثال: لكنه ليس بحيوان. هنا استثنيت رفع أو نفيت التالي، أنتج رفع المقدم فهو ليس بإنسان، لأن رفع اللازم ونفيه يوجب رفع الملزوم وهو # 1.04.36 .. [فعلم أن المنتج منه ضربان] نفيًا وإثباتًا، (وَلاَ يَلْزَمُ فِي عَكْسِهِمَا)، ما هو عكسهما؟ انظر إلى البيت (أَنْتَجَ وَضْعُ ذَاكَ وَضْعَ التَّالِي) عكسه: وضع التالي وضع المقدم، لا ينتج (وَرَفْعُ تَالٍ رَفْعَ أَوَّلٍ) عكسه: رفع أول رفع تالي، لا ينتج، واضح هذا؟ تربطه بالبيت وهذا الفائدة من الحفظ نعم، [(وَلاَ يَلْزَمُ فِي عَكْسِهِمَا) أي لا يلزم الإنتاج في عكس من عكسهما أي من وضع التالي أو رفع المقدم] على عكس السابق، [فلو قلت في المثال المتقدم: لكنه حيوان لم ينتج إنه إنسان]، المثال السابق كلما كان هذا إنسانًا كان حيوانًا لكنه حيوان، فهو إنسان؟ لا، لأن إثبات الأعم لا يستلزم إثبات الأخص. إذًا إذا أثبت التالي لا يلزم منه إثبات المقدم، فإذا قلت: كلما كان هذا إنسانًا كان حيوانًا لكنه حيوان، لا يلزم فهو إنسان، لأن إثبات الأعم لا يستلزم إثبات الأخص، لكنه حيوان لم ينتج إنه إنسان، لماذا؟ لأن اللازم هنا حيوان قد يكون أعم من الملزوم الذي هو إنسان ولا يلزم من إثبات الأعم إثبات الأخص، وكذا لو قلت: لكنه ليس بإنسان يعني رفع تالي رفع أول، رفع المقدم لو قلت ماذا؟ المثال السابق كلما كان هذا إنسانًا كان حيوانًا لكنه ليس بإنسان، لا ينتج شيئًا، لماذا؟ لأنك نفيت الأخص، لا ينتج شيئًا لأن رفع الأخص وهو إنسان لا يوجب رفع الأعم وهو حيوان، فإذا قيل: لكنه ليس بإنسان، لا يلزم رفع الثاني وهو ليس بحيوان، لماذا؟ لأنك إذا نفيت كونه إنسانًا لا يلزم منه نفي أنه حيوان لأنه قد يكون فرسًا [لأن رفع الأخص] وهو إنسان [لا يوجب رفع العام] وهو حيوان، [والملزوم هنا أخص من لازمه]، الإنسان أخص من الحيوان، فنفي الأخص لا يستلزم نفي الأعم، [وهذا معنى قوله: (لِمَا انْجَلَى). أي لما اتضح من أن التالي لازم، وقد يكون أعم من ملزومه] المقدم، [فلا يلزم من إثباته] يعني الأعم [إثبات ملزومه] وهو الأخص، [ولا من نفي يعني رفع ملزومه نفيه، فهذان الضربان عقيمان].

إذًا (فَإِنْ يَكُ الشَّرْطِيُّ ذَا اتِّصَالِ) الشرطية المتصلة أضربها أربعة: اثنان منتجان، واثنان عقيمان. إثبات المقدم يُنتج إثبات التالي، رفع التالي يُنتج رفع الأول، عكسهما لا إنتاج ضربان عقيمان وضربان منتجان.

- - -

وَإِنْ يَكُنْ مُنْفَصِلاً فَوَضْعُ ذَا ... يُنْتِجُ رَفْعَ ذَاكَ وَالعَكْسُ كَذَا

وَذَاكَ فِي الأَخَصِّ ثُمَّ إِنْ يَكُنْ ... مَانِعَ جَمْعٍ فَبِوَضْعِ ذَا زُكِنْ

رَفْعٌ لِذَاكَ دُونَ عَكْسٍ وَإِذَا ... مَانِعَ رَفْعٍ كَانَ فَهْوَ عَكْسُ ذَا