الثالث في اشتراط إيجاب الصغرى وإنتاج الموجبة ، وهو فارق الشكلين إنتاج المطالب الأربعة والتبيّن « 1 » بنفسه ، وفارق الثاني الشكلين في اشتراط اختلاف كيفية المقدمتين وإنتاج الموجبتين للسالب والنتاج « 2 » من السالبتين كما ذكرنا ، وفارق الثالث الشكلين في جواز جزئية كبراه .
اللمحة الثانية - [ في الاقترانات الشرطية ]
( 28 ) هي أنّ الشرطيات : منها ، اقترانات ، والمتصلات قد يتألّف منها مقدمتان على نسق الحمليات تشترك في تال لهما أو مقدم لهما أو تالي إحداهما ومقدّم الأخرى ، والشرائط والاستنتاج على ما مضى ، والمنفصلات أيضا . والقريب من الطبع كقولك : « هذا العدد إمّا فرد أو زوج ، وكل زوج إمّا زوج الزوج أو زوج الفرد أو زوج الزوج والفرد معا « 3 » » فينحذف الأوسط وينتج : « إمّا أن يكون هذا العدد فردا أو زوج الزوج أو الفرد أو زوجهما » وأمر « 4 » الشروط على ما قلنا . وقد يتركّب متصلة مع حملية . والقريب من الطبع ما تكون الشركة في التالي والحملية كبرى فيحصل نتيجة مقدّمها مقدّم القياس وتاليها نتيجة تأليف التالي والحملية ، كقولك : « إن كان ج ب وكل ه د وكل د آ » ينتج : « إن كان ج ب فكل ه آ » وقد يكون القياس من حملية ومنفصلة ، والمنفصلة كبرى ، كقولك : « الأربعة عدد وكل عدد إمّا زوج وإمّا فرد » فينتج : « الأربعة إمّا زوج وإمّا فرد » وقد يكون المنفصلة صغرى والحمليات كبرى يشترك في محمول واحد ويسمّى « الاستقراء التام » ، كقولك : « كل متحرك إمّا حيوان أو نبات وإمّا جماد ، وكل حيوان جسم وكل نبات جسم وكل جماد جسم » ينتج : « كل متحرك جسم » ولا ينبغي أن ينحذف في هذه القياسات غير الجزء المكرر « 5 » .
اللمحة الثالثة - في الاستثنائيات
( 29 ) و « الاستثناء » رفع أو وضع لبعض أجزاء الشرطية لرفع أو لوضع الآخر . والاستثنائي
هامش
( 1 ) التبيّن : البيّنAL.
( 2 ) النتاج : إنتاجAL.
( 3 ) معا : جميعاM.
( 4 ) أمر : امن د .
( 5 ) المكرر : -A.