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