وعلى هذا القياس

وأما على هيئة الشكل الثالث

فعلى قياسهما كقولنا

كل (ا) (ب)

ودائما كل (ا) إما (ج ) وإما (د)

فينتج بعض (ب) إما (ج) وإما (د)

وأما إذا كانت الحملية كبرى ينبغي أن يكون عددها عدد أجزاء الانفصال

وحينئذ إما أن تكون مشتركة في المحمول أو لا تكون

فإن كانت وكانت أجزاء المنفصلة مشتركة في الموضوع فهي تنتج في الشكلين الأولين حملية ويكون التأليف في قوة التأليف من الحمليات وينعقد على هيئة الأشكال الثلاثة

مثال الضرب الأول من الشكل الأول

كل (ا) إما (ب) وإما (ج)

وكل (ب) وكل (ج) (د)

فكل (ا) (د)

ومثال الضرب الثاني

كل (ا) إما (ب) وإما (ج)

ولا شيء من (ب) ولا شيء من (ج) (د)

فلا شيء من (ا) (د)

وهذا هو الاستقراء التام المسمى بالقياس المقسم

ومثال الضرب الأول من الشكل الثاني

كل (ا) إما (ب) وإما (ج)

ولا شيء من (د) (ب)

فلا شيء من (ا) (د)

والشكل الثالث بعيد عن الطبع لا ينتج مثل ذلك

صفحه ۴۳۹