جوهر النضید فی شرح التجرید نسخه متنی

مستلزم لوضع النتيجة استلزاما كليا فوضعمقدم النتيجة المستلزم مع الحمليةالموضوعة مطلقا لمقدم المتصلة يستلزم مايستلزمه مقدم المتصلة بعينه و على هذاالوجه تكون النتائج كلية) أقول إذا كانتالحملية مع مقدم النتيجة منتجا لمقدمالمتصلة المعلوم استلزامه لتاليها علماستلزام مقدم النتيجة للتالي المذكورمثلا إذا صدق كل ج ب و كلما كان بعض ب ا ف ه زينتج كلما كان كل ج ا ف ه ز لأنه كلما كان كلج ا فكل ج ب و كل ج ا إما استلزامه لكل ج بفلثبوته في نفس الأمر فيصدق على هذاالتقدير و إما استلزامه لكل ج ا فظاهر وإذا صدق كل ج ب و كل ج ا فبعض ب ا من الثالثينتج كلما كان كل ج ا فبعض ب ا و كلما كانبعض ب ا ف ه ز ينتج كلما كان كل ج ا ف ه ز لأنصدق الحملية و مقدم النتيجة على تقديرمقدم النتيجة يستلزم صدق مقدم المتصلة وصدق مقدم المتصلة يستلزم صدق تالي المتصلةأيضا و المستلزم للمستلزم للشي‏ء مستلزملذلك الشي‏ء فكان مقدم النتيجة مستلزمالتالي المتصلة أعني تالي النتيجة و هوالمطلوب.

و على هذا البحث تكون النتائج كلية (قال وإن كانت الحملية مع مقدم المتصلة منتجةلمقدم النتيجة لم يستلزم مقدم النتيجة معالحملية مقدم المتصلة استلزاما كليا بليستلزم جزئيا لأن وضع النتيجة مع إحدىمقدمتي القياس لا يستلزم وضع المقدمةالأخرى كليا فإن الموجبة الكلية لا تنعكسكنفسها فإذن في بعض أحوال وضع مقدمالنتيجة يجب ثبوت مقدم المتصلة المعلوماستلزامه لتاليها و في ذلك البعض دون ماعداه يحصل العلم باستلزام مقدم النتيجةلذلك التالي بعينه و على هذا الوجه لا تكونالنتائج إلا جزئية) أقول إذا كانت الحمليةمع مقدم المتصلة منتجة لمقدم النتيجة لزمتالنتيجة