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