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

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

[١] فبالضرورة كل: و بالضرورة كل م.

[٢] يكن: ساقطة من د

[٣] أن (الأولى): و أن د.

[٤] بعض: ساقطة من سا.

[٥] فالنتيجة ضرورية: ساقطة من سا.

[٦] الخلاف:+ الذي ب، د، ع، عا، م، ن، ه

[٧] ذلك: و ذلك م.

[٨] يتبين:يبين د، ن‌

[٩] بالعكسين: بالعكس د، ن.

[١٠] أن النتيجة ... ممكة تبين: ساقطة من س.