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