[ 96 - شرائط الانتاج والضروب الناتجة في الشكل الثالث ]
قال : وأمّا الشكل الثالث : فشرطه إيجاب الصغرى - وإلّا لحصل الاختلاف - وكلّيّة إحدى مقدّمتيه - وإلّا لكان البعض المحكوم عليه بالأصغر غير البعض المحكوم عليه بالأكبر ، فلم تجب التعدية .
وضروبة الناتجة ستّة :
الأوّل : من موجبتين كلّيّتين ينتج موجبة جزئيّة كقولنا : « كلّ ( ب ج ) وكلّ ( ب ا ) فبعض ( ج ا ) » بالخلف - وهو ضمّ نقيض النتيجة إلى الصغرى لينتج نقيض الكبرى - وبالردّ إلى الأوّل بعكس الصغرى .
الثاني : من كلّيّتين والكبرى سالبة ، ينتج سالبة جزئيّة ، كقولنا : « كلّ ( ب ج ) ولا شيء من ( ب ا ) فبعض ( ج ) ليس ( ا ) » بالخلف وبعكس الصغرى .
الثالث : من موجبتين والكبرى كلّيّة ينتج موجبة جزئيّة كقولنا : « بعض ( ب ج ) وكلّ ( ب ا ) فبعض ( ج ا ) » بالخلف وبعكس الصغرى ، وبفرض موضوع الجزئيّة ( د ) ، ف « كلّ ( د ب ) وكلّ ( ب ا ) فكلّ ( د ا ) » ثمّ نقول : « كلّ ( د ج ) وكلّ ( د ا ) فبعض ( ج ا ) » وهو المطلوب .
الرابع : من موجبة جزئيّة صغرى وسالبة كلّية كبرى ، ينتج سالبة جزئيّة ، كقولنا : « بعض ( ب ج ) ولا شيء من ( ب ا ) فبعض ( ج ) ليس ( ا ) » بالخلف وبعكس الصغرى والافتراض .
الخامس : من موجبتين والصغرى كلّيّة ينتج موجبة جزئيّة ، كقولنا : « كلّ ( ب ج ) وبعض ( ب ا ) فبعض ( ج ا ) » بالخلف ، وبعكس الكبرى وجعلها صغرى ثمّ عكس النتيجة والافتراض .