وللشكل الثاني شرطان ؛ اختلاف مقدّمتيه في الكيف ، وكلية كبرى لما تقدّم ، وضروبه أربعة أيضا :

١. من كلّيّتين والكبرى سالبة ينتج كالكبرى. كلّ ج ب ، ولا شيء من أب ، فلا شيء من ج أ.

٢. بالعكس والنتيجة كالصغرى. لا شيء من ج ب ، وكلّ أب ، فلا شيء من ج أ.

٣. من موجبة جزئية صغرى وسالبة كلية كبرى ينتج سالبة جزئية.

بعض ج ب ، ولا شيء من أب ، فليس بعض ج أ.

٤. من سالبة جزئية صغرى وموجبة كلّية كبرى ينتج سالبة جزئية.

ليس بعض ج ب ، وكلّ أب ، فليس بعض ج أ.

وللشكل الثالث شرطان ؛ إيجاب صغرى ، وكلّيّة أحدهما لما مر ، وضروبه ستة :

١. من موجبتين كلّيّتين ينتج موجبة جزئية. كلّ ج ب ، وكلّ ج أ ، فبعض ب أ.

٢. من موجبتين والصغرى جزئية ينتج كالصغرى. بعض ج ب ، وكلّ ج أ ، فبعض ب أ.

٣. بالعكس ينتج موجبة جزئية أيضا. كلّ ج ب ، وبعض ج أ ، ينتج بعض ب أ.