القواعد الجلية في شرح الرسالة الشمسية — صفحة 338

قال : وضروبه الناتجة أربعة : الأوّل : من موجبتين كليتين ينتج موجبة كلية ، كقولنا : كلّ ( ج ) ( ب ) وكلّ ( ب ) ( أ ) فكل ( ج ) ( أ ) . الثاني : من كليتين والصغرى موجبة والكبرى سالبة « 1 » ينتج سالبة « 2 » كلية ، كقولنا : كلّ ( ج ) ( ب ) ولا شيء من ( ب ) ( أ ) ينتج « 3 » : لا شيء من ( ج ) ( أ ) . الثالث : من موجبتين والصغرى جزئية « 4 » ينتج موجبة جزئية ، كقولنا : بعض ( ج ) ( ب ) وكلّ ( ب ) ( أ ) فبعض ( ج ) ( أ ) . الرابع : من موجبة جزئية صغرى وسالبة كلية كبرى ينتج سالبة جزئية ، كقولنا : بعض ( ج ) ( ب ) « 5 » ولا شيء من ( ب ) ( أ ) فبعض ( ج ) ليس ( أ ) ، ونتائج هذا الشكل بينة بذاتها . أقول : قد سقط باعتبار الشرطين اثنا عشر ، وبقي منها أربعة ، فانّ الصغرى السالبة كلية كانت أو جزئية مع المحصورات الأربع لا تنتج ، وهي ثمانية « 6 » ، والكبرى الجزئية مع الموجبتين لا تنتج ، وهي أربعة ، وبقي المنتج أربعة ، وهي بيّنة الانتاج .