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