أبو علي سينا

القياس 346

الشفاء ( المنطق )

والحادي والعشرون ، والثاني والعشرون ، والثالث والعشرون ، والرابع والعشرون ، جزئية الحمليات ، وجزئية المتصلات ، والمقدمات والتوالي بحالها . أصناف هذه القياسات والحملية مكان الكبرى . تأليفات ذلك على منهاج الشكل الأول لا تنتج إلا أن يكون المقدم سالبا ، والحملية كلية . الضرب الأول : كلما كان لا شئ من ج ب ، فه ز ، وكل « 1 » ب آ . ينتج : كلما كان « 2 » لا شئ من ج آ ، فه ز ؛ لأنه يكون حينئذ لا شئ من ج ب . والضرب « 3 » الثاني : كلما كان لا شئ من ج ب ، فه ز ، ولا شئ من ب آ . ينتج : كلما كان كل ج آ ، فه ز ؛ لأنه يكون حينئذ لا شئ من ج ب . الضرب الثالث : كلما كان لا كل ج ب ، فه ز ، وكل ب آ . « 4 » ينتج : « 5 » كلما « 6 » كان لا كل أو لا شئ من ج آ ، فه ز ؛ لأنه يكون حينئذ لا كل ج ب . الضرب الرابع : كلما كان لا كل ج ب ، فه ز ، ولا شئ من ب آ . ينتج : « 7 » كلما كان كل أو بعض ج آ ، فه ز ؛ لأنه يكون حينئذ لا كل ج ب . الضرب « 8 » الخامس « 9 » والسادس والسابع والثامن متصلتها سالبة ، وتنتج تلك النتائج سالبة . والبرهان مأخوذ ذلك بعينه .

--> ( 1 ) وكل : فكل د . ( 2 ) كان : ساقطة من د ، ن . ( 3 ) والضرب : الضرب د ، سا ، عا ، ن ، ه . ( 4 ) ب آ : آ ب س . ( 5 ) ينتج : فينتج ب ، ع ، عا ، م ( 6 ) كلما : فكلما د ، ن ؛ وكلما ب ، عا ، م . ( 7 ) ينتج : فينتج ب ، ع ، عا ، م . ( 8 ) الضرب : والضرب ع ؛ ساقطة من ن ( 9 ) الخامس : والخامس ن .