يبين « 1 » بعكس الصغرى ، وبالخلف ، بأن تضيف نقيض « 2 » النتيجة إلى الكبرى ، فينتج نقيض الصغرى . « 3 »
الضرب الثالث « 4 » : من « 5 » موجبتين والصغرى جزئية : قد يكون إذا كان ج د ، فه ز ؛ وكلما كان ج د ، فآ ب ؛ ينتج : قد يكون إذا كان ه ز ، فآ ب ، ويبين بعكس الصغرى وبالخلف « 6 » المنتج لنقيض الصغرى .
الضرب الرابع « 7 » : من موجبتين والكبرى جزئية ، كلما كان ج د ، فه ز ؛ وقد يكون إذا كان ج د ، فآ ب ؛ ينتج : جزئية موجبة ، ويبين بعكس الكبرى ، « 8 » ثم عكس النتيجة ، وبالخلف .
الضرب الخامس « 9 » : من موجبة كلية صغرى ، وسالبة جزئية « 10 » كبرى ، كلما كان ج د ، فه ز ؛ وليس كلما كان ج د ، فآب ؛ فليس كلما كان ه ز ، فآ ب ؛ وهذا لا يبين إلا بالخلف والافتراض بأن نقول : ليكن « 11 » الحال الذي « 12 » يكون « 13 » فيه ج د ، وليس آ ب ، هو حال كون « 14 » ح ط ، فيكون ليس البتة إذا كان ح ط ، فآ ب ؛ فنقول : كلما كان ج د ، فه ز ؛ وقد يكون إذا كان ج د ، فح ط ينتج : « 15 » إذا كان ه ز ، فح ط ؛ « 16 » وليس البتة إذا كان ح ط « 17 » ، فآ ب ؛ ينتج : ليس « 18 » كلما كان ه ز ، فآ ب .
هامش
( 1 ) يبين : بين ع
( 2 ) نقيض : ساقطة من ع .
( 3 ) إلى . . . . الصغرى : ساقطة من سا .
( 4 ) الضرب الثالث : الضرب 3 ه
( 5 ) من : ساقطة من م .
( 6 ) وبالخلف : بالخلف عا .
( 7 ) الضرب الرابع : الضرب 4 ه .
( 8 ) الكبرى : الصغرى س .
( 9 ) الضرب الخامس : الضرب 5 ه
( 10 ) جزئية : كلية س .
( 11 ) ليكن : لكن عا
( 12 ) الذي : التي ع
( 13 ) يكون : ساقطة من س .
( 14 ) كون : كونه م .
( 15 ) ينتج : ساقطة من ع .
( 16 ) ينتج . . . . فح ط :
ساقطة من س .
( 17 ) وليس . . . ح ط : ساقطة من د
( 18 ) ليس : ساقطة من سا .