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