يبين « 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 ) ليس : ساقطة من سا .