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