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

- - -

وَالثَّانِ أنْ يَخْتَلِفَا فِي الكَيْفِ مَعْ ... كُلِّيَّةِ الكُبْرَى لَهُ شَرْطٌ وَقَعْ

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

الأول: من موجبة كلية صغرى وسالبة كلية كبرى، نحو: كل إنسان حيوان، ولا شيء من الحجر بحيوان، والنتيجة سالبة كلية، وهي لا شيء من الإنسان بحجر.

الثاني: عكسه، نحو: لا شيء من الحجر بحيوان، وكل إنسان حيوان، والنتيجة سالبة كلية وهي لا شيء من حجر بإنسان.

الثالث: من موجبة جزئية صغرى وسالبة كلية كبرى نحو: بعض الحيوان إنسان، ولا شيء من الفرس بإنسان، والنتيجة سالبة جزئية وهي: ليس بعض الحيوان بفرس.