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