و الذي عندنا فى هذا[١] أنه إن عنى بقوله: لا خفيف و لا ثقيل، السلبين‌[٢] جميعا؛ فيكتفى باستثناء نقيض أيهما شئت، حتى ينتج نقيض الآخر. و إن عنى بذلك إثبات الواسطة بين الأمرين، و قد عبر عنه بالسلبين، فالتالى معنى واحد فى الحقيقة[٣] ليس فيه كثرة أجزاء. و مع ذلك فإن استثناء أحدهما أيضا يكفى.

فإن‌[٤] إثبات أحد الطرفين رفع‌[٥] الوسط، كما أن نقض‌[٦] أحد الشرطين يوجب نقض‌[٧] المجتمع. فإن سلب الجزء سلب بالقوة للمجتمع من حيث هو مجتمع.[٨] الضرب الخامس فى‌[٩] المشهور: استثناء نقيض المقدم من غير تام‌[١٠] اللزوم.

هذا لا تجب له نتيجة فى المشهور. فإن التالى إذا كان أعم لزوما، فليس إذا رفع المقدم أوجب رفع التالى، إذ التالى موجود مع غير[١١] المقدم؛ و هذا كقولهم: إن كان زيد منتقلا، فهو متغير. لكنه ليس بمنتقل، فليس يلزم أنه متغير أو ليس بمتغير. فإنه إن لم يكن منتقلا، جاز أن يكون متغيرا فى الكيف، و أن لا يكون.

الضرب السادس: من استثناء عين‌[١٢] تال من‌[١٣] متصل، ناقض اللزوم.

لا ينتج. و ليكن‌[١٤] مثاله: لكنه متغير، فليس يلزم‌[١٥] أنه منتقل،[١٦] أو ليس‌[١٧] بمنتقل.

الضرب السابع: استثناء نقيض مقدم ما هو تام‌[١٨] اللزوم. فينتج: نقيض التالى. و ذلك لأنه يصير تاليا،[١٩] و يصير ما كان تاليا مقدما. و على ما علمنا.

و الحكم فى هذا الضرب هو الحكم فى الثالث.

[١] هذا: هذه سا

[٢] السلبين: سلبين س.

[٣] فى الحقيقة: بالحقيقة س.

[٤] فإن: فى عا

[٥] رفع: يرفع ع‌

[٦] نقض: نقيض ع، عا.

[٧] نقض: نقيض ع‌

[٨] مجتمع: للمجتمع ب، م.

[٩] فى: من س‌

[١٠] تام: تمام ع.

[١١] غير: عين س، ه؛ رفع سا.

[١٢] عين: غير بخ، د، ن‌

[١٣] من: ساقطة من س.

[١٤] و ليكن: و لكن س‌

[١٥] يلزم: يلزمه سا

[١٦] منتقل: متصل س‌

[١٧] ليس: ساقطة من سا.

[١٨] تام: تال م.

[١٩] تاليا: تاليه م.