وَضَرْبٌ بِغَيْرِ الشَّرْطِ؛ وَيُسَمَّى الْمُنْفَصِلَ؛ وَيَلْزَمُهُ تَعَدُّدُ اللَّازِمِ مَعَ التَّنَافِي، فَإِنْ تَنَافَيَا إِثْبَاتًا وَنَفْيًا، لَزِمَ مِنْ إثْبَاتِ كلٍّ - نَقِيضُه، وَمِنْ نَقِيضِهِ - عَيْنُهُ؛ فَيَجِيءُ أَرْبَعَةً؛ مِثَالُهُ: الْعَدَدُ: إِمَّا زَوْجٌ أَوْ فَرْدُ؛ لكِنَّهُ إِلَى آخِرِهَا، وَإِنْ تَنَافَيَا إِثْبَاتًا لَا نَفْيًا، لَزِمَ
الشرح: "وضرب بغير الشرط؛ ويسمى "الاستثنائي المنفصل (¬١)؛ ويلزمه تعدد اللَّازم مع التنافي " (¬٢) بين أمرين (¬٣)؛ وحينئذٍ يلزم من وجود هذا - عدمُ ذاك، ومن عدمِ ذاك - وجودُ هذا؛ إذ لولا ذلك - والفرض (¬٤) أنه لم يوجد لزوم صريح - لكان أحدهما لا يستلزم الآخر، ولا عدمَهُ؛ فلا استدلال؛ لأن الاستدلال إنما يكون بالملزوم عن اللَّازم؛ كما عرفت.
وإذا عرف التنافي؛ "فإن تنافيا إثباتًا ونفيًا" [معًا] (¬٥). بحيث لا يصدقان، ولا يكذبان - "لزم من إثبات كلٍّ نقيضُه، ومن نقيضِهِ عَيْنُهُ؛ فيجيء أربعة:
مثاله: العدد: إمّا زوج أو فرد؛ ولكنه إلى آخرها"، أي: اللوازم الأربعة.
فإن قلنا: ولكنه زوجٌ؛ فينتج: ليس بفردٍ - وفردٌ؛ فينتج: ليس بزوج، أو [ليس] (¬٦) بزوج؛ فينتج: فهو فرد، أو ليس بفرد؛ فينتج: فهو زوج، فاستثناء عين الزوج ينتج نقيض (¬٧) الفرد، وبالعكس، واستثناء نقيض الزوج ينتج عين الفرد، وبالعكس.
"وإن تنافيا إثباتًا لا نفيًا، لزم الأولانِ"، أي: مِنِ استثناء [عين كلّ نقيض] (¬٨) - عينُ الآخر دون الآخَرَيْن؛ فلا يلزم [من] (¬٩) استثناء نقيض كلٍّ عيْنُ الآخر؛ "مثاله: الجسم: إمّا جماد أو حيوان"؛ لكنه جماد؛ فليس بحيوان، لكنه حيوان؛ فليس بِجَمَادٍ.
ولو قلتَ: لكنه ليس بجماد؛ فهو (¬١٠) حيوان، أو ليس بحيوان؛ فهو جَمَادٌ - لم يكن لازمًا؛ لجواز انتفائهما؛ كما في النبات؛ فإنه ليس جمادًا ولا حيوانًا.
"وَإِنْ تنافيا نفيًا لا إثباتًا"، أي: كان كل منهما منافيًا لنفي الآخر - "لزم الأخيران"، أي: من