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