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