الشفاء المنطق (القياس) - ابن سينا - الصفحة ٣٢٧
ضروب ذلك و المتصلة[١] سالبة: إذا كانت المتصلة سالبة، فالشرط فيها أن تكون[٢] التوالى سالبة، و الحمليات كلية، و إلا[٣] لم[٤] تنتج. مثالها: ليس البتة إذا كان ه ز، فلا كل ج د، و كل د آ. ينتج: ليس البتة إذا كان ه ز، فلا كل[٥] ج آ. برهان ذلك أن المتصلة يلزمها: كلما كان ه ز، فكل ج د، و كل د آ. ينتج: كلما كان ه ز، فكل ج آ. و يلزمه: ليس البتة إذا كان ه ز، فليس كل ج آ. و أنت تعلم حال البواقى من هذا الواحد[٦]، و هى هذه: ليس البتة إذا كان ه ز، فلا شىء من[٧] ج د، و كل[٨] د آ. ينتج: ليس البتة إذا كان ه ز، فلا شىء من[٩] ج آ. ليس البتة إذا كان ه ز، فلا شىء من ج د، و لا شىء من[١٠] د آ.
ينتج: ليس البتة إذا كان ه ز، فكل ج آ.
و أربعة أخرى متصلاتها جزئية سالبة. التأليفات على هيئة الشكل الثاني.
ضروب ذلك و المتصلة[١١] موجبة، و الشرط بين التالى و الحملى فى إنتاجها هو الشرط الذي يجب أن يكون فى الحمليات حتى ينتج.
الضرب الأول: كلما كان ه ز، فكل ج د، و ليس و لا شىء من د آ.
فكلما كان ه ز، فليس و لا شىء من ج آ. برهانه أن نعكس[١٢] الحملية، و أيضا[١٣] برهانه أن نقول: كلما كان ه ز، فج د حق، و أنه لا شىء[١٤] من آ د حق. و كلما كان ج د حقا، و لا شىء [١٥] [١٦] من آ د[١٧] حقا، فلا شىء[١٨] من ج آ حق. ينتج[١٩]، كلما كان ه ز، فلا شىء من ج آ[٢٠] حق.
[١] و المتصلة: و المنفصلة د، ن.
[٢] تكون: كون م
[٤] و إلا لم: و لم سا
[٣] و إلا:+ و المتصلة د.
[٥] فلا كل: فليس كل ه.
[٦] الواحد: الوجه س
[٧] فلا شىء من: فلا كل د، عا، ه؛ فليس كل ن
[٨] و كل: فلا شىء من د، ن؛ و لا شىء من عا، ه.
[٩] فلا شىء من (الثانية): فبعض عا، ه
[١٠] و لا شىء من: و كل ه.
[١١] و المتصلة:و المنفصلة د، ن.
[١٢] نعكس:+ الكلية ع، ه
[١٣] و أيضا: أيضا س، م.
[١٤] لا شىء: و لا شىء سا.
[١٥] حقا و لا شىء: حقا و ليس و لا شىء س
[١٦] و لا شىء من:فلا شىء من ع
[١٧] و لا شىء من آ د: ساقطة من عا
[١٨] فلا شىء: و لا شىء ه
[١٩] ينتج: حتى ينتج عا.
[٢٠] ج آ: د آ د، ن.