4 . من كلّيّتين والكبرى سالبة ينتج سالبة جزئية . كلّ ج ب ، ولا شيء من ج أ ، فليس بعض ب أ .
5 . من موجبة جزئية صغرى وسالبة كلّيّة كبرى ينتج سالبة جزئية .
بعض ج ب ، ولا شيء من ج أ ، فليس بعض ب أ .
6 . من موجبة كلّية صغرى وسالبة جزئية كبرى ينتج سالبة جزئية . كلّ ج ب ، وليس كلّ ج أ ، فليس بعض ب أ .
وللشكل الرابع شرطان :
1 . عدم اجتماع الجنسين - أعني السلب والجزئية - إلّا إذا كانت الصغرى موجبة جزئية .
2 . كلّما كانت الصغرى موجبة جزئية كانت الكبرى سالبة كلّية لما تقدم . وضروبه خمسة :
أ . من موجبتين كلّيتين ينتج موجبة جزئية . كلّ ج ب ، وكلّ أج ، ينتج بعض ب أ .
ب . من موجبتين والكبرى جزئية ينتج كالكبرى . كلّ ج ب ، وبعض أج ، ينتج بعض ب أ .
ج . من كلّيّتين والصغرى سالبة ينتج سالبة كلّية . لا شيء من ج ب ، وكلّ أج ، ينتج لا شيء من ب أ .
د . من كلّيتين والكبرى سالبة ينتج سالبة جزئية . كلّ ج ب ، ولا شيء من أج ، فليس بعض ب أ .
نهاية الوصول الى علم الأصول — صفحة 462
مساهمون: العلامة الحلي
ص٤٦٢